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
412 workflow runs
412 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 #418: Merge group checks requested
8s
8s
fix: section tag overlap in Manual Check PR title follows commit convention #417: Pull request #975 edited by david-christiansen
8s tags
tags
8s
fix: section tag overlap in Manual Check PR title follows commit convention #416: Pull request #975 opened by david-christiansen
8s tags
tags
8s
chore: use upstream HTML type Check PR title follows commit convention #415: Pull request #974 edited by Vtec234
6s adapt-html-type
adapt-html-type
6s
chore: use upstream HTML type Check PR title follows commit convention #414: Pull request #974 edited by Vtec234
10s adapt-html-type
adapt-html-type
10s
chore: use upstream HTML type Check PR title follows commit convention #413: Pull request #974 edited by Vtec234
7s adapt-html-type
adapt-html-type
7s
chore: use upstream HTML type Check PR title follows commit convention #412: Pull request #974 opened by Vtec234
6s adapt-html-type
adapt-html-type
6s
fix: restore syntax highlighting Check PR title follows commit convention #411: Pull request #973 edited by ROTARTSI82
Action required ROTARTSI82:patch-1
ROTARTSI82:patch-1
Action required
fix: restore syntax highlighting Check PR title follows commit convention #410: Pull request #973 opened by ROTARTSI82
Action required ROTARTSI82:patch-1
ROTARTSI82:patch-1
Action required
Check PR title follows commit convention Check PR title follows commit convention #409: Merge group checks requested
9s
9s
Check PR title follows commit convention Check PR title follows commit convention #408: Merge group checks requested
11s
11s
feat: re-enable precompileModules Check PR title follows commit convention #407: Pull request #971 edited by Vtec234
9s precomp
precomp
9s
feat: re-enable precompileModules Check PR title follows commit convention #406: Pull request #971 edited by Vtec234
8s precomp
precomp
8s
feat: re-enable precompileModules Check PR title follows commit convention #405: Pull request #971 edited by Vtec234
6s precomp
precomp
6s
Check PR title follows commit convention Check PR title follows commit convention #404: Merge group checks requested
9s
9s
perf: batch-highlighting of code Check PR title follows commit convention #403: Pull request #970 edited by david-christiansen
7s sfl-local
sfl-local
7s
feat: re-enable precompileModules Check PR title follows commit convention #402: Pull request #971 edited by Vtec234
7s precomp
precomp
7s
feat: re-enable precompileModules Check PR title follows commit convention #401: Pull request #971 edited by Vtec234
8s precomp
precomp
8s
feat: re-enable precompileModules Check PR title follows commit convention #400: Pull request #971 edited by Vtec234
6s precomp
precomp
6s
feat: re-enable precompileModules Check PR title follows commit convention #399: Pull request #971 edited by Vtec234
11s precomp
precomp
11s
feat: re-enable precompileModules Check PR title follows commit convention #398: Pull request #971 edited by Vtec234
8s precomp
precomp
8s
feat: re-enable precompileModules Check PR title follows commit convention #397: Pull request #971 opened by Vtec234
9s precomp
precomp
9s
perf: batch-highlighting of code Check PR title follows commit convention #396: Pull request #970 edited by david-christiansen
19m 42s sfl-local
sfl-local
19m 42s
perf: batch-highlighting of code Check PR title follows commit convention #395: Pull request #970 opened by david-christiansen
19m 49s sfl-local
sfl-local
19m 49s
fix: gracefully handle unknown -D options in verso-literate Check PR title follows commit convention #394: Pull request #969 opened by mo271
10s mo271:weak_fix
mo271:weak_fix
10s