Workflow runs · leanprover/reference-manual · GitHub

Actions

All workflows
Workflows
- Deploy the 'deploy' branch Deploy the 'deploy' branch
- Merge main to nightly Merge main to nightly
- Update nightly-testing Update nightly-testing
- .github/workflows/vale.yml .github/workflows/vale.yml
- Build and check HTML Build and check HTML
- Check for copyright headers Check for copyright headers
- Check for too-big Lean imports Check for too-big Lean imports
- Check PR title for commit convention Check PR title for commit convention
- Deploy PR for review Deploy PR for review
- Deploy Tagged Version Deploy Tagged Version
Management
- Caches
- Deployments

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

8,210 workflow runs

8,210 workflow runs

Label PRs with artifacts Label PRs with artifacts #1206: completed by jcreedcmu

18s

18s

fix: repair many examples in manual to run in isolation Build and check HTML #1568: Pull request #617 synchronize by jcreedcmu

5m 54s jcreedcmu:jcreed-live-link-fixes

jcreedcmu:jcreed-live-link-fixes

5m 54s

fix: repair many examples in manual to run in isolation Check for too-big Lean imports #961: Pull request #617 synchronize by jcreedcmu

8s jcreedcmu:jcreed-live-link-fixes

jcreedcmu:jcreed-live-link-fixes

8s

fix: repair many examples in manual to run in isolation Check PR title for commit convention #1074: Pull request #617 synchronize by jcreedcmu

7s jcreedcmu:jcreed-live-link-fixes

jcreedcmu:jcreed-live-link-fixes

7s

fix: repair many examples in manual to run in isolation Check for copyright headers #961: Pull request #617 synchronize by jcreedcmu

10s jcreedcmu:jcreed-live-link-fixes

jcreedcmu:jcreed-live-link-fixes

10s

fix: repair many examples in manual to run in isolation Check PR title for commit convention #1073: Pull request #617 synchronize by jcreedcmu

5s jcreedcmu:jcreed-live-link-fixes

jcreedcmu:jcreed-live-link-fixes

5s

fix: repair many examples in manual to run in isolation Check for copyright headers #960: Pull request #617 synchronize by jcreedcmu

8s jcreedcmu:jcreed-live-link-fixes

jcreedcmu:jcreed-live-link-fixes

8s

fix: repair many examples in manual to run in isolation Build and check HTML #1567: Pull request #617 synchronize by jcreedcmu

7m 30s jcreedcmu:jcreed-live-link-fixes

jcreedcmu:jcreed-live-link-fixes

7m 30s

fix: repair many examples in manual to run in isolation Check for too-big Lean imports #960: Pull request #617 synchronize by jcreedcmu

10s jcreedcmu:jcreed-live-link-fixes

jcreedcmu:jcreed-live-link-fixes

10s

Deploy PR for review Deploy PR for review #1093: completed by jcreedcmu

Skipped

Skipped

Label PRs with artifacts Label PRs with artifacts #1205: completed by jcreedcmu

15s

15s

Label PRs with artifacts Label PRs with artifacts #1204: completed by jcreedcmu

5s

5s

Deploy PR for review Deploy PR for review #1092: completed by jcreedcmu

1s

1s

fix: repair many examples in manual to run in isolation Check for too-big Lean imports #959: Pull request #617 synchronize by jcreedcmu

8s jcreedcmu:jcreed-live-link-fixes

jcreedcmu:jcreed-live-link-fixes

8s

fix: repair many examples in manual to run in isolation Check for copyright headers #959: Pull request #617 synchronize by jcreedcmu

10s jcreedcmu:jcreed-live-link-fixes

jcreedcmu:jcreed-live-link-fixes

10s

fix: repair many examples in manual to run in isolation Build and check HTML #1566: Pull request #617 synchronize by jcreedcmu

6m 32s jcreedcmu:jcreed-live-link-fixes

jcreedcmu:jcreed-live-link-fixes

6m 32s

fix: repair many examples in manual to run in isolation Check PR title for commit convention #1072: Pull request #617 synchronize by jcreedcmu

12s jcreedcmu:jcreed-live-link-fixes

jcreedcmu:jcreed-live-link-fixes

12s

fix: repair many examples in manual to run in isolation Check for copyright headers #958: Pull request #617 synchronize by jcreedcmu

13s jcreedcmu:jcreed-live-link-fixes

jcreedcmu:jcreed-live-link-fixes

13s

fix: repair many examples in manual to run in isolation Check PR title for commit convention #1071: Pull request #617 synchronize by jcreedcmu

7s jcreedcmu:jcreed-live-link-fixes

jcreedcmu:jcreed-live-link-fixes

7s

fix: repair many examples in manual to run in isolation Check for too-big Lean imports #958: Pull request #617 synchronize by jcreedcmu

10s jcreedcmu:jcreed-live-link-fixes

jcreedcmu:jcreed-live-link-fixes

10s

fix: repair many examples in manual to run in isolation Build and check HTML #1565: Pull request #617 synchronize by jcreedcmu

9m 23s jcreedcmu:jcreed-live-link-fixes

jcreedcmu:jcreed-live-link-fixes

9m 23s

Deploy PR for review Deploy PR for review #1091: completed by jcreedcmu

7s

7s

Label PRs with artifacts Label PRs with artifacts #1203: completed by jcreedcmu

7s

7s

Deploy PR for review Deploy PR for review #1090: completed by jcreedcmu

1s

1s

Label PRs with artifacts Label PRs with artifacts #1202: completed by jcreedcmu

7s

7s