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,564 workflow runs
1,564 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: use upstream HTML type Check toolchain file #1737: Pull request #974 synchronize by Vtec234
9s adapt-html-type
adapt-html-type
9s
Check toolchain file Check toolchain file #1736: Merge group checks requested
7s
7s
feat: resolve links and footnotes through document reconstruction Check toolchain file #1735: Pull request #1014 synchronize by david-christiansen
9s footnote-reconstruction
footnote-reconstruction
9s
feat: resolve links and footnotes through document reconstruction Check toolchain file #1734: Pull request #1014 opened by david-christiansen
10s footnote-reconstruction
footnote-reconstruction
10s
Check toolchain file Check toolchain file #1733: Merge group checks requested
11s
11s
Check toolchain file Check toolchain file #1732: Merge group checks requested
10s
10s
fix: commit earlier to blockquote parser Check toolchain file #1731: Pull request #1013 opened by david-christiansen
13s blockquote-fixes
blockquote-fixes
13s
Check toolchain file Check toolchain file #1730: Merge group checks requested
7s
7s
fix: output Errata runner messages incrementally Check toolchain file #1729: Pull request #1012 synchronize by david-christiansen
10s incr-runner
incr-runner
10s
fix: output Errata runner messages incrementally Check toolchain file #1728: Pull request #1012 reopened by david-christiansen
7s incr-runner
incr-runner
7s
Check toolchain file Check toolchain file #1727: Merge group checks requested
8s
8s
fix: output Errata runner messages incrementally Check toolchain file #1726: Pull request #1012 opened by david-christiansen
9s incr-runner
incr-runner
9s
chore: merge recent main changes in to nightly-testing Check toolchain file #1725: Pull request #1011 synchronize by github-actions Bot
10s merge-main-1009-into-nightly
merge-main-1009-into-nightly
10s
chore: merge recent main changes in to nightly-testing Check toolchain file #1724: Pull request #1011 synchronize by david-christiansen
9s merge-main-1009-into-nightly
merge-main-1009-into-nightly
9s
chore: merge recent main changes in to nightly-testing Check toolchain file #1723: Pull request #1011 opened by david-christiansen
10s merge-main-1009-into-nightly
merge-main-1009-into-nightly
10s
fix: copy cached artifacts when building external Lean examples Check toolchain file #1722: Pull request #1010 opened by david-christiansen
7s examples-artifact-cache
examples-artifact-cache
7s
Check toolchain file Check toolchain file #1721: Merge group checks requested
10s
10s
test: add additional tests for document part structure Check toolchain file #1720: Pull request #1009 opened by david-christiansen
8s doc-structure-tests-pr
doc-structure-tests-pr
8s
Check toolchain file Check toolchain file #1719: Merge group checks requested
8s
8s
fix: errata and artifact cache Check toolchain file #1718: Pull request #1008 synchronize by david-christiansen
6s fix-test-artifact-cache
fix-test-artifact-cache
6s
Fix guard msgs docstring Check toolchain file #1717: Pull request #978 synchronize by david-christiansen
10s mo271:fix-guard-msgs-docstring
mo271:fix-guard-msgs-docstring
10s
fix: errata and artifact cache Check toolchain file #1716: Pull request #1008 opened by david-christiansen
9s fix-test-artifact-cache
fix-test-artifact-cache
9s
Check toolchain file Check toolchain file #1715: Merge group checks requested
9s
9s
fix: gracefully handle unknown -D options in verso-literate Check toolchain file #1714: Pull request #969 synchronize by david-christiansen
10s mo271:weak_fix
mo271:weak_fix
10s
Check toolchain file Check toolchain file #1713: Merge group checks requested
9s
9s