Skip to content

Actions: leanprover/verso

Actions

Check toolchain file

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pull-request-toolchains.yml
1,099 workflow runs
1,099 workflow runs

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
chore: add !consistent PR-comment auto-fix for lean-toolchain drift Check toolchain file #1107: Pull request #825 synchronize by kim-em
8s ci-actionable-toolchain-fix
ci-actionable-toolchain-fix
8s
chore: add !consistent PR-comment auto-fix for lean-toolchain drift Check toolchain file #1106: Pull request #825 synchronize by kim-em
9s ci-actionable-toolchain-fix
ci-actionable-toolchain-fix
9s
Check toolchain file Check toolchain file #1105: Merge group checks requested
10s
10s
Check toolchain file Check toolchain file #1104: Merge group checks requested
6s
6s
chore: bump toolchain to v4.30.0-rc2 Check toolchain file #1103: Pull request #841 opened by Garmelon
10s bump-to-v4.30.0-rc2
bump-to-v4.30.0-rc2
10s
chore: bump actions/github-script from 8 to 9 Check toolchain file #1102: Pull request #839 opened by dependabot Bot
9s dependabot/github_actions/actions/github-script-9
dependabot/github_actions/actions/github-script-9
9s
chore: format Python Check toolchain file #1101: Pull request #838 opened by david-christiansen
9s fmt-py
fmt-py
9s
Check toolchain file Check toolchain file #1100: Merge group checks requested
6s
6s
chore: bump pytest from 8.4.2 to 9.0.3 in /browser-tests Check toolchain file #1099: Pull request #836 opened by dependabot Bot
7s dependabot/uv/browser-tests/pytest-9.0.3
dependabot/uv/browser-tests/pytest-9.0.3
7s
Fix/relative urls Check toolchain file #1098: Pull request #835 synchronize by NicolasRouquette
Action required NicolasRouquette:fix/relative-img-urls
NicolasRouquette:fix/relative-img-urls
Action required
Fix/relative urls Check toolchain file #1097: Pull request #835 opened by NicolasRouquette
Action required NicolasRouquette:fix/relative-img-urls
NicolasRouquette:fix/relative-img-urls
Action required
Check toolchain file Check toolchain file #1096: Merge group checks requested
6s
6s
chore: bump SubVerso Check toolchain file #1095: Pull request #833 opened by david-christiansen
6s bump-subverso-2026-04-11-slowness
bump-subverso-2026-04-11-slowness
6s
Check toolchain file Check toolchain file #1094: Merge group checks requested
7s
7s
Check toolchain file Check toolchain file #1093: Merge group checks requested
7s
7s
chore: update SubVerso Check toolchain file #1092: Pull request #832 opened by david-christiansen
6s bump-subverso-2026-04-11-mv
bump-subverso-2026-04-11-mv
6s
chore: add GitHub Action to update SubVerso Check toolchain file #1091: Pull request #831 opened by david-christiansen
6s subverso-bump-ci
subverso-bump-ci
6s
Check toolchain file Check toolchain file #1090: Merge group checks requested
6s
6s
fix: add type annotation to metadata Check toolchain file #1089: Pull request #830 opened by david-christiansen
6s metadata-annot
metadata-annot
6s
Check toolchain file Check toolchain file #1088: Merge group checks requested
11s
11s
doc: add ref to Manual's manual Check toolchain file #1087: Pull request #829 opened by david-christiansen
9s ref-in-manual
ref-in-manual
9s
Check toolchain file Check toolchain file #1086: Merge group checks requested
9s
9s
doc: document table directive Check toolchain file #1085: Pull request #828 opened by david-christiansen
8s doc-table
doc-table
8s
Check toolchain file Check toolchain file #1084: Merge group checks requested
6s
6s
Check toolchain file Check toolchain file #1083: Merge group checks requested
10s
10s