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,418 workflow runs
1,418 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 toolchain file Check toolchain file #1480: Merge group checks requested
17s
17s
chore: bump SubVerso Check toolchain file #1479: Pull request #941 synchronize by Vtec234
6s subverso-bum
subverso-bum
6s
chore: bump toolchain to v4.33.0-rc2 Check toolchain file #1478: Pull request #944 opened by Garmelon
16s bump-to-v4.33.0-rc2
bump-to-v4.33.0-rc2
16s
feat: re-enable precompileModules Check toolchain file #1477: Pull request #943 opened by Vtec234
12s unorphan
unorphan
12s
feat: re-enable precompileModules Check toolchain file #1476: Pull request #942 synchronize by Vtec234
10s unorphan
unorphan
10s
feat: re-enable precompileModules Check toolchain file #1475: Pull request #942 synchronize by Vtec234
10s unorphan
unorphan
10s
feat: re-enable precompileModules Check toolchain file #1474: Pull request #942 opened by Vtec234
13s unorphan
unorphan
13s
chore: bump SubVerso Check toolchain file #1473: Pull request #941 opened by Vtec234
11s subverso-bum
subverso-bum
11s
Check toolchain file Check toolchain file #1472: Merge group checks requested
11s
11s
Check toolchain file Check toolchain file #1471: Merge group checks requested
10s
10s
Check toolchain file Check toolchain file #1470: Merge group checks requested
15s
15s
chore: update SubVerso for further incremental rebuild improvements Check toolchain file #1469: Pull request #940 opened by david-christiansen
18s subverso-bump-again
subverso-bump-again
18s
doc: fix "paramter" and "correponding" typos Check toolchain file #1468: Pull request #939 opened by Chessing234
8s Chessing234:docs/typo-parameter-corresponding
Chessing234:docs/typo-parameter-corresponding
8s
fix: deduplicate auto-generated heading tags in freshTag Check toolchain file #1466: Pull request #937 opened by Chessing234
Action required Chessing234:fix/freshTag-internal-dedup
Chessing234:fix/freshTag-internal-dedup
Action required
Check toolchain file Check toolchain file #1464: Merge group checks requested
8s
8s
fix: downstream availability of glossary at compile time Check toolchain file #1463: Pull request #935 opened by david-christiansen
14s publicmeta
publicmeta
14s
Check toolchain file Check toolchain file #1462: Merge group checks requested
11s
11s
fix: always have #doc result in a public decl Check toolchain file #1461: Pull request #934 opened by david-christiansen
15s public-doc
public-doc
15s
feat: produce one-sided LaTeX output by default Check toolchain file #1460: Pull request #932 synchronize by medovina
7s medovina:onesided
medovina:onesided
7s
feat: produce one-sided LaTeX output by default Check toolchain file #1459: Pull request #932 synchronize by medovina
18s medovina:onesided
medovina:onesided
18s
Check toolchain file Check toolchain file #1458: Merge group checks requested
10s
10s
chore: bump SubVerso version for bug fix Check toolchain file #1457: Pull request #933 opened by david-christiansen
9s bump-again
bump-again
9s
Check toolchain file Check toolchain file #1456: Merge group checks requested
7s
7s
feat: produce one-sided LaTeX output by default Check toolchain file #1455: Pull request #932 opened by medovina
9s medovina:onesided
medovina:onesided
9s
fix: preserve paragraphs in docstring boxes in TeX output (#918) Check toolchain file #1454: Pull request #919 synchronize by medovina
10s medovina:docstringbox-paragraphs
medovina:docstringbox-paragraphs
10s