Skip to content

Actions: leanprover/reference-manual

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13,002 workflow runs
13,002 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Nightly with Manual Nightly with Manual #107: Scheduled
7m 2s main
main
7m 2s
Update nightly-testing Update nightly-testing #664: Scheduled
14s main
main
14s
Merge main to nightly Merge main to nightly #666: Scheduled
7m 47s main
main
7m 47s
Update nightly-testing Update nightly-testing #663: Scheduled
26s main
main
26s
Merge main to nightly Merge main to nightly #665: Scheduled
8m 3s main
main
8m 3s
Nightly with Manual Nightly with Manual #106: Scheduled
6m 57s main
main
6m 57s
Label PRs with artifacts Label PRs with artifacts #2014: completed by leanprover-bot
2s
2s
Deploy PR for review Deploy PR for review #1902: completed by leanprover-bot
1s
1s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Report PR testing status to the lean4 repository #387: Commit 6958774 pushed by leanprover-bot
7m 27s lean-pr-testing-12082
lean-pr-testing-12082
7m 27s
Update lean-toolchain for testing https://github.com/leanprover/lean4… Build and check HTML #2383: Commit 6958774 pushed by leanprover-bot
8m 23s lean-pr-testing-12082
lean-pr-testing-12082
8m 23s
Update nightly-testing Update nightly-testing #662: Scheduled
30m 56s main
main
30m 56s
Merge main to nightly Merge main to nightly #664: Scheduled
7m 34s main
main
7m 34s
Deploy PR for review Deploy PR for review #1901: completed by github-merge-queue bot
1s
1s
Label PRs with artifacts Label PRs with artifacts #2013: completed by github-merge-queue bot
1s
1s
Deploy the 'postdeploy' branch Deploy the 'postdeploy' branch #57: completed by kim-em
1m 51s
1m 51s
doc: add v4.28.0 release notes (#764) Build and check HTML #2382: Commit e49fa8b pushed by github-merge-queue bot
7m 17s main
main
7m 17s
doc: add v4.28.0 release notes (#764) Report PR testing status to the lean4 repository #386: Commit e49fa8b pushed by github-merge-queue bot
2m 42s main
main
2m 42s
Deploy PR for review Deploy PR for review #1900: completed by kim-em
1s
1s
Label PRs with artifacts Label PRs with artifacts #2012: completed by kim-em
1s
1s
Apply Overlays Apply Overlays #22: completed by kim-em
1m 43s
1m 43s
Build and check HTML Build and check HTML #2381: Merge group checks requested
8m 52s
8m 52s
Check Formatting of JS/CSS/HTML and Markdown Check Formatting of JS/CSS/HTML and Markdown #181: Merge group checks requested
20s
20s
Check for copyright headers Check for copyright headers #1505: Merge group checks requested
7s
7s
Check PR title for commit convention Check PR title for commit convention #1676: Merge group checks requested
6s
6s
Check for too-big Lean imports Check for too-big Lean imports #1505: Merge group checks requested
8s
8s