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,439 workflow runs
1,439 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
feat: add the Errata test framework Check toolchain file #1539: Pull request #956 synchronize by david-christiansen
8s test-framework-1
test-framework-1
8s
fix: use saved environment for verso-blog's inline Lean Check toolchain file #1538: Pull request #961 opened by berberman
-1s berberman:blog-lean
berberman:blog-lean
-1s
feat: add the Errata test framework Check toolchain file #1537: Pull request #956 synchronize by david-christiansen
21s test-framework-1
test-framework-1
21s
feat: add the Errata test framework Check toolchain file #1536: Pull request #956 synchronize by david-christiansen
10s test-framework-1
test-framework-1
10s
feat: run Errata tests interactively in a widget Check toolchain file #1535: Pull request #959 synchronize by david-christiansen
6s test-framework-3
test-framework-3
6s
chore: migrate the test suite to Errata Check toolchain file #1534: Pull request #957 synchronize by david-christiansen
8s test-framework-2
test-framework-2
8s
feat: add the Errata test framework Check toolchain file #1533: Pull request #956 synchronize by david-christiansen
6s test-framework-1
test-framework-1
6s
feat: run Errata tests interactively in a widget Check toolchain file #1532: Pull request #959 opened by david-christiansen
9s test-framework-3
test-framework-3
9s
chore: migrate the test suite to Errata Check toolchain file #1531: Pull request #957 opened by david-christiansen
8s test-framework-2
test-framework-2
8s
feat: add the Errata test framework Check toolchain file #1530: Pull request #956 opened by david-christiansen
9s test-framework-1
test-framework-1
9s
feat: proper test framework Check toolchain file #1529: Pull request #902 synchronize by david-christiansen
8s test-framework
test-framework
8s
Check toolchain file Check toolchain file #1528: Merge group checks requested
6s
6s
doc: describe conventions for HTML in Verso Check toolchain file #1527: Pull request #955 synchronize by david-christiansen
9s html-docs
html-docs
9s
doc: describe conventions for HTML in Verso Check toolchain file #1526: Pull request #955 opened by david-christiansen
10s html-docs
html-docs
10s
Check toolchain file Check toolchain file #1525: Merge group checks requested
18s
18s
feat: variables for all code colors, coherent hover behavior Check toolchain file #1524: Pull request #954 synchronize by david-christiansen
8s warnings-fixes
warnings-fixes
8s
feat: variables for all code colors, coherent hover behavior Check toolchain file #1523: Pull request #954 synchronize by david-christiansen
9s warnings-fixes
warnings-fixes
9s
feat: variables for all code colors, coherent hover behavior Check toolchain file #1522: Pull request #954 synchronize by david-christiansen
7s warnings-fixes
warnings-fixes
7s
feat: variables for all code colors, coherent hover behavior Check toolchain file #1521: Pull request #954 synchronize by david-christiansen
10s warnings-fixes
warnings-fixes
10s
feat: variables for all code colors, coherent hover behavior Check toolchain file #1520: Pull request #954 synchronize by david-christiansen
9s warnings-fixes
warnings-fixes
9s
feat: variables for all code colors, coherent hover behavior Check toolchain file #1519: Pull request #954 synchronize by david-christiansen
9s warnings-fixes
warnings-fixes
9s
feat: variables for all code colors, coherent hover behavior Check toolchain file #1518: Pull request #954 synchronize by david-christiansen
9s warnings-fixes
warnings-fixes
9s
feat: variables for all code colors, coherent hover behavior Check toolchain file #1517: Pull request #954 synchronize by david-christiansen
10s warnings-fixes
warnings-fixes
10s
feat: variables for all code colors, coherent hover behavior Check toolchain file #1516: Pull request #954 synchronize by david-christiansen
7s warnings-fixes
warnings-fixes
7s
feat: variables for all code colors, coherent hover behavior Check toolchain file #1515: Pull request #954 opened by david-christiansen
18s warnings-fixes
warnings-fixes
18s