Skip to content

Actions: leanprover/reference-manual

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
8,189 workflow runs
8,189 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update nightly-testing Update nightly-testing #353: Scheduled
5m 5s main
main
5m 5s
Merge main to nightly Merge main to nightly #356: Scheduled
6m 37s main
main
6m 37s
Update nightly-testing Update nightly-testing #352: Scheduled
5m 50s main
main
5m 50s
Merge main to nightly Merge main to nightly #355: Scheduled
5m 37s main
main
5m 37s
Update nightly-testing Update nightly-testing #351: Scheduled
3m 58s main
main
3m 58s
Merge main to nightly Merge main to nightly #354: Scheduled
37m 31s main
main
37m 31s
Update nightly-testing Update nightly-testing #350: Scheduled
5m 13s main
main
5m 13s
Merge main to nightly Merge main to nightly #353: Scheduled
6m 15s main
main
6m 15s
Update nightly-testing Update nightly-testing #349: Scheduled
4m 7s main
main
4m 7s
Merge main to nightly Merge main to nightly #352: Scheduled
6m 20s main
main
6m 20s
Update nightly-testing Update nightly-testing #348: Scheduled
3m 54s main
main
3m 54s
Merge main to nightly Merge main to nightly #351: Scheduled
5m 53s main
main
5m 53s
Deploy the 'deploy' branch Deploy the 'deploy' branch #34: completed by robsimmons
40s
40s
Deploy Tagged Version Deploy Tagged Version #31: by robsimmons
14m 19s v4.24.0
v4.24.0
14m 19s
Update nightly-testing Update nightly-testing #347: Scheduled
7m 28s main
main
7m 28s
Merge main to nightly Merge main to nightly #350: Scheduled
6m 31s main
main
6m 31s
Label PRs with artifacts Label PRs with artifacts #1207: completed by jcreedcmu
12s
12s
Deploy PR for review Deploy PR for review #1095: completed by jcreedcmu
34s
34s
fix: repair many examples in manual to run in isolation Check PR title for commit convention #1076: Pull request #617 edited by jcreedcmu
8s jcreedcmu:jcreed-live-link-fixes
jcreedcmu:jcreed-live-link-fixes
8s
Deploy the 'deploy' branch Deploy the 'deploy' branch #33: completed by robsimmons
42s
42s
fix: repair many examples in manual to run in isolation Check PR title for commit convention #1075: Pull request #617 edited by jcreedcmu
6s jcreedcmu:jcreed-live-link-fixes
jcreedcmu:jcreed-live-link-fixes
6s
Deploy PR for review Deploy PR for review #1094: completed by jcreedcmu
10s
10s
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