Skip to content

Actions: leanprover/verso

Actions

Check PR title follows commit convention

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
commit-convention.yml
125 workflow runs
125 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 PR title follows commit convention #125: Pull request #825 edited by kim-em
6s ci-actionable-toolchain-fix
ci-actionable-toolchain-fix
6s
chore: add !consistent PR-comment auto-fix for lean-toolchain drift Check PR title follows commit convention #124: Pull request #825 edited by kim-em
7s ci-actionable-toolchain-fix
ci-actionable-toolchain-fix
7s
chore: add !consistent PR-comment auto-fix for lean-toolchain drift Check PR title follows commit convention #123: Pull request #825 edited by kim-em
8s ci-actionable-toolchain-fix
ci-actionable-toolchain-fix
8s
Check PR title follows commit convention Check PR title follows commit convention #122: Merge group checks requested
6s
6s
Check PR title follows commit convention Check PR title follows commit convention #121: Merge group checks requested
8s
8s
chore: bump toolchain to v4.30.0-rc2 Check PR title follows commit convention #120: Pull request #841 opened by Garmelon
4s bump-to-v4.30.0-rc2
bump-to-v4.30.0-rc2
4s
chore: bump actions/github-script from 8 to 9 Check PR title follows commit convention #119: Pull request #839 opened by dependabot Bot
8s dependabot/github_actions/actions/github-script-9
dependabot/github_actions/actions/github-script-9
8s
chore: format Python Check PR title follows commit convention #118: Pull request #838 opened by david-christiansen
7s fmt-py
fmt-py
7s
Check PR title follows commit convention Check PR title follows commit convention #117: Merge group checks requested
6s
6s
chore: merge main to nightly Check PR title follows commit convention #116: Pull request #837 opened by david-christiansen
7s merge-main-to-nightly
merge-main-to-nightly
7s
chore: bump pytest from 8.4.2 to 9.0.3 in /browser-tests Check PR title follows commit convention #115: Pull request #836 opened by dependabot Bot
8s dependabot/uv/browser-tests/pytest-9.0.3
dependabot/uv/browser-tests/pytest-9.0.3
8s
Fix/relative urls Check PR title follows commit convention #114: Pull request #835 opened by NicolasRouquette
Action required NicolasRouquette:fix/relative-img-urls
NicolasRouquette:fix/relative-img-urls
Action required
Check PR title follows commit convention Check PR title follows commit convention #113: Merge group checks requested
5s
5s
chore: bump SubVerso Check PR title follows commit convention #112: Pull request #833 opened by david-christiansen
8s bump-subverso-2026-04-11-slowness
bump-subverso-2026-04-11-slowness
8s
Check PR title follows commit convention Check PR title follows commit convention #111: Merge group checks requested
6s
6s
Check PR title follows commit convention Check PR title follows commit convention #110: Merge group checks requested
7s
7s
chore: update SubVerso Check PR title follows commit convention #109: 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 PR title follows commit convention #108: Pull request #831 opened by david-christiansen
5s subverso-bump-ci
subverso-bump-ci
5s
Check PR title follows commit convention Check PR title follows commit convention #107: Merge group checks requested
6s
6s
fix: add type annotation to metadata Check PR title follows commit convention #106: Pull request #830 opened by david-christiansen
6s metadata-annot
metadata-annot
6s
Check PR title follows commit convention Check PR title follows commit convention #105: Merge group checks requested
8s
8s
doc: add ref to Manual's manual Check PR title follows commit convention #104: Pull request #829 opened by david-christiansen
6s ref-in-manual
ref-in-manual
6s
Check PR title follows commit convention Check PR title follows commit convention #103: Merge group checks requested
7s
7s
doc: document table directive Check PR title follows commit convention #102: Pull request #828 opened by david-christiansen
7s doc-table
doc-table
7s
Check PR title follows commit convention Check PR title follows commit convention #101: Merge group checks requested
5s
5s