Skip to content

Actions: leanprover/verso

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6,202 workflow runs
6,202 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: update plausible dependency to v4.28.0-rc1 (#719) Continuous Integration #2160: Commit 04598b6 pushed by github-merge-queue bot
7m 1s main
main
7m 1s
chore: update plausible dependency to v4.28.0-rc1 (#719) Consistent SubVerso dependencies #1149: Commit 04598b6 pushed by github-merge-queue bot
9s main
main
9s
chore: update plausible dependency to v4.28.0-rc1 (#719) Format JS/CSS/HTML and Markdown #40: Commit 04598b6 pushed by github-merge-queue bot
16s main
main
16s
Lint GitHub Actions workflows Lint GitHub Actions workflows #166: Merge group checks requested
13s
13s
Check toolchain file Check toolchain file #737: Merge group checks requested
8s
8s
Check for copyright header and too-big Lean imports Check for copyright header and too-big Lean imports #1313: Merge group checks requested
8s
8s
Check for trailing newlines Check for trailing newlines #194: Merge group checks requested
8s
8s
Consistent SubVerso dependencies Consistent SubVerso dependencies #1148: Merge group checks requested
7s
7s
Check Formatting of JS/CSS/HTML and Markdown Check Formatting of JS/CSS/HTML and Markdown #176: Merge group checks requested
16s
16s
Continuous Integration Continuous Integration #2159: Merge group checks requested
6m 37s
6m 37s
chore: update plausible dependency to v4.28.0-rc1 Consistent SubVerso dependencies #1147: Pull request #719 opened by kim-em
10s update-plausible-manifest
update-plausible-manifest
10s
chore: update plausible dependency to v4.28.0-rc1 Check for trailing newlines #193: Pull request #719 opened by kim-em
10s update-plausible-manifest
update-plausible-manifest
10s
chore: update plausible dependency to v4.28.0-rc1 Check for copyright header and too-big Lean imports #1312: Pull request #719 opened by kim-em
10s update-plausible-manifest
update-plausible-manifest
10s
chore: update plausible dependency to v4.28.0-rc1 Lint GitHub Actions workflows #165: Pull request #719 opened by kim-em
13s update-plausible-manifest
update-plausible-manifest
13s
chore: update plausible dependency to v4.28.0-rc1 Check toolchain file #736: Pull request #719 opened by kim-em
8s update-plausible-manifest
update-plausible-manifest
8s
chore: update plausible dependency to v4.28.0-rc1 Check Formatting of JS/CSS/HTML and Markdown #175: Pull request #719 opened by kim-em
17s update-plausible-manifest
update-plausible-manifest
17s
chore: update plausible dependency to v4.28.0-rc1 Continuous Integration #2158: Pull request #719 opened by kim-em
6m 40s update-plausible-manifest
update-plausible-manifest
6m 40s
Update nightly-testing Update nightly-testing #656: Scheduled
8s main
main
8s
Merge main to nightly Merge main to nightly #662: Scheduled
4m 55s main
main
4m 55s
chore: bump to v4.28.0-rc1 (#718) Tag SubVerso for Verso releases #5: Commit 7681e6e pushed by david-christiansen
9s v4.28.0-rc1
v4.28.0-rc1
9s
chore: bump to v4.28.0-rc1 (#718) Continuous Integration #2157: Commit 7681e6e pushed by david-christiansen
2m 55s v4.28.0-rc1
v4.28.0-rc1
2m 55s
chore: bump to v4.28.0-rc1 (#718) Consistent SubVerso dependencies #1146: Commit 7681e6e pushed by github-merge-queue bot
8s main
main
8s
chore: bump to v4.28.0-rc1 (#718) Continuous Integration #2156: Commit 7681e6e pushed by github-merge-queue bot
6m 22s main
main
6m 22s
chore: bump to v4.28.0-rc1 (#718) Format JS/CSS/HTML and Markdown #39: Commit 7681e6e pushed by github-merge-queue bot
18s main
main
18s
Check toolchain file Check toolchain file #735: Merge group checks requested
7s
7s