Skip to content

Actions: leanprover/verso

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update nightly-testing Update nightly-testing #773: Scheduled
11s main
main
11s
Merge main to nightly Merge main to nightly #780: Scheduled
6m 40s main
main
6m 40s
github_actions in /. - Update #1270142141 Dependabot Updates #15: by dependabot bot
36s main
main
36s
Update nightly-testing Update nightly-testing #772: Scheduled
10s main
main
10s
Deploy PR Preview Deploy PR Preview #214: completed by david-christiansen
2s
2s
Merge main to nightly Merge main to nightly #779: Scheduled
6m 14s main
main
6m 14s
Merge main to nightly Merge main to nightly #778: Manually run by david-christiansen
4m 58s main
main
4m 58s
chore: bump to nightly-2026-03-05 (#788) Continuous Integration #2425: Commit 936359a pushed by david-christiansen
9m 18s nightly-testing
nightly-testing
9m 18s
Deploy PR Preview Deploy PR Preview #213: completed by david-christiansen
20s
20s
chore: bump to nightly-2026-03-05 Lint GitHub Actions workflows #375: Pull request #788 synchronize by david-christiansen
24s bump-2026-03-05
bump-2026-03-05
24s
chore: bump to nightly-2026-03-05 Check for trailing newlines #403: Pull request #788 synchronize by david-christiansen
15s bump-2026-03-05
bump-2026-03-05
15s
chore: bump to nightly-2026-03-05 All test modules imported #167: Pull request #788 synchronize by david-christiansen
12s bump-2026-03-05
bump-2026-03-05
12s
chore: bump to nightly-2026-03-05 Check for copyright header and too-big Lean imports #1522: Pull request #788 synchronize by david-christiansen
15s bump-2026-03-05
bump-2026-03-05
15s
chore: bump to nightly-2026-03-05 Check Formatting of JS/CSS/HTML and Markdown #385: Pull request #788 synchronize by david-christiansen
26s bump-2026-03-05
bump-2026-03-05
26s
chore: bump to nightly-2026-03-05 No #eval in source files #167: Pull request #788 synchronize by david-christiansen
8s bump-2026-03-05
bump-2026-03-05
8s
chore: bump to nightly-2026-03-05 Consistent SubVerso dependencies #1403: Pull request #788 synchronize by david-christiansen
9s bump-2026-03-05
bump-2026-03-05
9s
chore: bump to nightly-2026-03-05 Continuous Integration #2424: Pull request #788 synchronize by david-christiansen
8m 56s bump-2026-03-05
bump-2026-03-05
8m 56s
Deploy PR Preview Deploy PR Preview #212: completed by github-merge-queue bot
1s
1s
Deploy PR Preview Deploy PR Preview #211: completed by github-merge-queue bot
2s
2s
fix: article citation formatting (double period, spacing, number/page… Continuous Integration #2423: Commit 82c57c8 pushed by github-merge-queue bot
4m 34s main
main
4m 34s
fix: article citation formatting (double period, spacing, number/page… Consistent SubVerso dependencies #1402: Commit 82c57c8 pushed by github-merge-queue bot
16s main
main
16s
fix: article citation formatting (double period, spacing, number/page… Format JS/CSS/HTML and Markdown #85: Commit 82c57c8 pushed by github-merge-queue bot
19s main
main
19s
Deploy PR Preview Deploy PR Preview #210: completed by david-christiansen
1s
1s
fix: add space and period to "et al" in citations (#783) Continuous Integration #2422: Commit 38bef77 pushed by github-merge-queue bot
5m 2s main
main
5m 2s
fix: add space and period to "et al" in citations (#783) Format JS/CSS/HTML and Markdown #84: Commit 38bef77 pushed by github-merge-queue bot
17s main
main
17s