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
227 workflow runs
227 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
Check PR title follows commit convention Check PR title follows commit convention #230: Merge group checks requested
14s
14s
fix: use realistic source spans for Markdown Check PR title follows commit convention #229: Pull request #878 opened by david-christiansen
9s md-ranges
md-ranges
9s
Check PR title follows commit convention Check PR title follows commit convention #228: Merge group checks requested
9s
9s
fix: parse decoded string literals with accurate decoded positions Check PR title follows commit convention #227: Pull request #877 opened by david-christiansen
13s inlinestringloc
inlinestringloc
13s
feat: lightweight HTTP server for Verso projects Check PR title follows commit convention #226: Pull request #876 edited by david-christiansen
11s serve
serve
11s
feat: lightweight HTTP server for Verso projects Check PR title follows commit convention #225: Pull request #876 edited by david-christiansen
8s serve
serve
8s
feat: lightweight HTTP server for Verso projects Check PR title follows commit convention #224: Pull request #876 opened by david-christiansen
8s serve
serve
8s
Check PR title follows commit convention Check PR title follows commit convention #223: Merge group checks requested
9s
9s
chore: bump toolchain to v4.31.0 Check PR title follows commit convention #222: Pull request #875 opened by Garmelon
9s bump-to-v4.31.0
bump-to-v4.31.0
9s
Check PR title follows commit convention Check PR title follows commit convention #221: Merge group checks requested
11s
11s
Check PR title follows commit convention Check PR title follows commit convention #220: Merge group checks requested
6s
6s
Check PR title follows commit convention Check PR title follows commit convention #219: Merge group checks requested
8s
8s
Check PR title follows commit convention Check PR title follows commit convention #218: Merge group checks requested
8s
8s
chore: adapt to SubVerso PR #219 Check PR title follows commit convention #217: Pull request #874 opened by david-christiansen
15s nested-tactic-adaptation
nested-tactic-adaptation
15s
Check PR title follows commit convention Check PR title follows commit convention #216: Merge group checks requested
6s
6s
chore: bump nwtgck/actions-netlify from 3.0 to 4.0 Check PR title follows commit convention #215: Pull request #873 opened by dependabot Bot
8s dependabot/github_actions/nwtgck/actions-netlify-4.0
dependabot/github_actions/nwtgck/actions-netlify-4.0
8s
fix: preserve Verso document ranges for LSP Check PR title follows commit convention #214: Pull request #771 edited by ejgallego
8s ejgallego:feat/folding-doc-start-range
ejgallego:feat/folding-doc-start-range
8s
fix: preserve Verso document ranges for LSP Check PR title follows commit convention #213: Pull request #771 edited by ejgallego
6s ejgallego:feat/folding-doc-start-range
ejgallego:feat/folding-doc-start-range
6s
fix: preserve Verso document ranges for LSP Check PR title follows commit convention #212: Pull request #771 edited by ejgallego
2m 51s ejgallego:feat/folding-doc-start-range
ejgallego:feat/folding-doc-start-range
2m 51s
fix: preserve Verso document ranges for LSP Check PR title follows commit convention #211: Pull request #771 edited by ejgallego
10s ejgallego:feat/folding-doc-start-range
ejgallego:feat/folding-doc-start-range
10s
chore: expose PR preview as GitHub deployment Check PR title follows commit convention #210: Pull request #765 edited by ejgallego
10s ejgallego:feat/ci-userguide-deploy
ejgallego:feat/ci-userguide-deploy
10s
chore: expose PR preview as GitHub deployment Check PR title follows commit convention #209: Pull request #765 edited by ejgallego
9s ejgallego:feat/ci-userguide-deploy
ejgallego:feat/ci-userguide-deploy
9s
chore: expose PR preview as GitHub deployment Check PR title follows commit convention #208: Pull request #765 edited by ejgallego
9s ejgallego:feat/ci-userguide-deploy
ejgallego:feat/ci-userguide-deploy
9s
chore: expose PR preview as GitHub deployment Check PR title follows commit convention #207: Pull request #765 edited by ejgallego
8s ejgallego:feat/ci-userguide-deploy
ejgallego:feat/ci-userguide-deploy
8s
Check PR title follows commit convention Check PR title follows commit convention #206: Merge group checks requested
6s
6s