Skip to content

Actions: leanprover/reference-manual

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5,689 workflow run results
5,689 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

doc: swap sides of equality in grind Build and check HTML #1220: Pull request #512 opened by adomani
6m 8s adomani:patch-2
adomani:patch-2
6m 8s
doc: swap sides of equality in grind Check for copyright headers #757: Pull request #512 opened by adomani
10s adomani:patch-2
adomani:patch-2
10s
doc: swap sides of equality in grind Check PR title for commit convention #841: Pull request #512 opened by adomani
6s adomani:patch-2
adomani:patch-2
6s
doc: swap sides of equality in grind Check for too-big Lean imports #757: Pull request #512 opened by adomani
7s adomani:patch-2
adomani:patch-2
7s
doc: swap sides of equality in grind Check for copyright headers #454: Pull request #512 opened by adomani
34s adomani:patch-2
adomani:patch-2
34s
Deploy PR for review Deploy PR for review #752: completed by nomeata
1s
1s
Label PRs with artifacts Label PRs with artifacts #864: completed by nomeata
1s
1s
doc: typo in the grind manual (#511) Build and check HTML #1219: Commit e81ce30 pushed by nomeata
6m 4s main
main
6m 4s
doc: typo in the grind manual (#511) Report PR testing status to the lean4 repository #13: Commit e81ce30 pushed by nomeata
4m 43s main
main
4m 43s
Deploy the 'deploy' branch Deploy the 'deploy' branch #21: completed by kim-em
27s
27s
chore: release notes for v4.22.0 (#510) Deploy Tagged Version #19: Commit 5adbfa7 pushed by kim-em
2m 15s v4.22.0-rc2
v4.22.0-rc2
2m 15s
Deploy PR for review Deploy PR for review #751: completed by kim-em
1s
1s
Label PRs with artifacts Label PRs with artifacts #863: completed by kim-em
1s
1s
chore: release notes for v4.22.0 (#510) Build and check HTML #1217: Commit 5adbfa7 pushed by kim-em
8m 15s main
main
8m 15s
chore: release notes for v4.22.0 (#510) Report PR testing status to the lean4 repository #12: Commit 5adbfa7 pushed by kim-em
5m 58s main
main
5m 58s
Deploy PR for review Deploy PR for review #750: completed by kim-em
38s
38s
Label PRs with artifacts Label PRs with artifacts #862: completed by kim-em
12s
12s
Deploy PR for review Deploy PR for review #749: completed by kim-em
1s
1s
Label PRs with artifacts Label PRs with artifacts #861: completed by kim-em
1s
1s
Deploy PR for review Deploy PR for review #748: completed by kim-em
16s
16s
Label PRs with artifacts Label PRs with artifacts #860: completed by kim-em
13s
13s
chore: release notes for v4.22.0 Build and check HTML #1216: Pull request #510 synchronize by kim-em
20m 12s release_notes_22
release_notes_22
20m 12s
chore: release notes for v4.22.0 Check for too-big Lean imports #755: Pull request #510 synchronize by kim-em
10s release_notes_22
release_notes_22
10s
chore: release notes for v4.22.0 Check PR title for commit convention #838: Pull request #510 synchronize by kim-em
6s release_notes_22
release_notes_22
6s
chore: release notes for v4.22.0 Check for copyright headers #452: Pull request #510 synchronize by kim-em
30s release_notes_22
release_notes_22
30s