Skip to content

Actions: leanprover/reference-manual

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Nightly with Manual Nightly with Manual #518: Scheduled
12m 23s main
main
12m 23s
Update nightly-testing Update nightly-testing #1293: Scheduled
4m 5s main
main
4m 5s
Merge main to nightly Merge main to nightly #1291: Scheduled
3m 16s main
main
3m 16s
Update nightly-testing Update nightly-testing #1292: Scheduled
4m 47s main
main
4m 47s
Merge main to nightly Merge main to nightly #1290: Scheduled
3m 21s main
main
3m 21s
Nightly with Manual Nightly with Manual #517: Scheduled
7m 38s main
main
7m 38s
Update nightly-testing Update nightly-testing #1291: Scheduled
3m 46s main
main
3m 46s
Merge main to nightly Merge main to nightly #1289: Scheduled
8m 49s main
main
8m 49s
Nightly with Manual Nightly with Manual #516: Scheduled
55m 47s main
main
55m 47s
Update nightly-testing Update nightly-testing #1290: Scheduled
3m 36s main
main
3m 36s
Merge main to nightly Merge main to nightly #1288: Scheduled
6m 14s main
main
6m 14s
fix: correct year in reference to polymorphism paper Check PR title for commit convention #2169: Pull request #923 edited by medovina
Action required medovina:year-fix
medovina:year-fix
Action required
Update nightly-testing Update nightly-testing #1289: Scheduled
1m 6s main
main
1m 6s
Merge main to nightly Merge main to nightly #1287: Scheduled
1m 33s main
main
1m 33s
fix: correct year in reference to polymorphism paper Check PR title for commit convention #2168: Pull request #923 opened by medovina
Action required medovina:year-fix
medovina:year-fix
Action required
fix: correct year in reference to polymorphism paper Check Formatting of JS/CSS/HTML and Markdown #642: Pull request #923 opened by medovina
Action required medovina:year-fix
medovina:year-fix
Action required
fix: correct year in reference to polymorphism paper Build and check HTML #3507: Pull request #923 opened by medovina
Action required medovina:year-fix
medovina:year-fix
Action required
fix: correct year in reference to polymorphism paper Check for copyright headers #1966: Pull request #923 opened by medovina
Action required medovina:year-fix
medovina:year-fix
Action required
fix: correct year in reference to polymorphism paper Check for too-big Lean imports #1966: Pull request #923 opened by medovina
Action required medovina:year-fix
medovina:year-fix
Action required
Nightly with Manual Nightly with Manual #515: Scheduled
12m 8s main
main
12m 8s
Update nightly-testing Update nightly-testing #1288: Scheduled
3m 21s main
main
3m 21s
Merge main to nightly Merge main to nightly #1286: Scheduled
5m 15s main
main
5m 15s
Nightly with Manual Nightly with Manual #514: Scheduled
9m 36s main
main
9m 36s
Update nightly-testing Update nightly-testing #1287: Scheduled
3m 54s main
main
3m 54s
Merge main to nightly Merge main to nightly #1285: Scheduled
5m 11s main
main
5m 11s