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
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Check PR title follows commit convention Check PR title follows commit convention #31: Merge group checks requested
9s
9s
Check PR title follows commit convention Check PR title follows commit convention #30: Merge group checks requested
8s
8s
chore: bump to nightly-2026-03-05 Check PR title follows commit convention #29: Pull request #788 opened by david-christiansen
14s bump-2026-03-05
bump-2026-03-05
14s
Check PR title follows commit convention Check PR title follows commit convention #28: Merge group checks requested
13s
13s
chore: mark vendored-js as vendored Check PR title follows commit convention #27: Pull request #787 opened by david-christiansen
11s linguist-config
linguist-config
11s
Check PR title follows commit convention Check PR title follows commit convention #26: Merge group checks requested
7s
7s
Check PR title follows commit convention Check PR title follows commit convention #25: Merge group checks requested
8s
8s
chore: upgrade to TeX Live 2026 Check PR title follows commit convention #24: Pull request #785 edited by kim-em
5s kim-em:fix/texlive-mirror
kim-em:fix/texlive-mirror
5s
chore: upgrade to TeX Live 2026 Check PR title follows commit convention #23: Pull request #785 edited by kim-em
7s kim-em:fix/texlive-mirror
kim-em:fix/texlive-mirror
7s
chore: upgrade to TeX Live 2026 Check PR title follows commit convention #22: Pull request #785 edited by kim-em
8s kim-em:fix/texlive-mirror
kim-em:fix/texlive-mirror
8s
chore: bump toolchain to v4.29.0-rc4 Check PR title follows commit convention #21: Pull request #786 opened by kim-em
8s bump_to_v4.29.0-rc4
bump_to_v4.29.0-rc4
8s
chore: upgrade to TeX Live 2026 Check PR title follows commit convention #20: Pull request #785 opened by kim-em
6s kim-em:fix/texlive-mirror
kim-em:fix/texlive-mirror
6s
fix: article citation formatting (double period, spacing, number/pages) Check PR title follows commit convention #19: Pull request #784 edited by kim-em
8s kim-em:fix/article-formatting
kim-em:fix/article-formatting
8s
fix: article citation formatting (double period, spacing, number/pages) Check PR title follows commit convention #18: Pull request #784 edited by kim-em
7s kim-em:fix/article-formatting
kim-em:fix/article-formatting
7s
fix: add space and period to "et al" in citations Check PR title follows commit convention #17: Pull request #783 edited by kim-em
6s kim-em:fix/etal-space
kim-em:fix/etal-space
6s
fix: article citation formatting (double period, spacing, number/pages) Check PR title follows commit convention #16: Pull request #784 opened by kim-em
7s kim-em:fix/article-formatting
kim-em:fix/article-formatting
7s
fix: add space and period to "et al" in citations Check PR title follows commit convention #15: Pull request #783 opened by kim-em
7s kim-em:fix/etal-space
kim-em:fix/etal-space
7s
chore: bump to nightly-2026-03-02 Check PR title follows commit convention #14: Pull request #779 opened by david-christiansen
10s bump-2026-03-02
bump-2026-03-02
10s
Check PR title follows commit convention Check PR title follows commit convention #13: Merge group checks requested
6s
6s
fix: delay processing of KaTeX Check PR title follows commit convention #12: Pull request #778 opened by david-christiansen
7s katex-delay
katex-delay
7s
Check PR title follows commit convention Check PR title follows commit convention #11: Merge group checks requested
8s
8s
chore: bump toolchain to v4.29.0-rc3 Check PR title follows commit convention #10: Pull request #777 opened by kim-em
5s bump_to_v4.29.0-rc3
bump_to_v4.29.0-rc3
5s
Docgen dump docstrings Check PR title follows commit convention #9: Pull request #776 opened by david-christiansen
5s docgen-dump-docstrings
docgen-dump-docstrings
5s
Check PR title follows commit convention Check PR title follows commit convention #8: Merge group checks requested
7s
7s
Check PR title follows commit convention Check PR title follows commit convention #7: Merge group checks requested
7s
7s