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,485 workflow runs
1,485 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 #1597: Merge group checks requested
10s
10s
fix: section tag overlap in Manual Check toolchain file #1596: Pull request #975 synchronize by david-christiansen
9s tags
tags
9s
fix: section tag overlap in Manual Check toolchain file #1595: Pull request #975 synchronize by david-christiansen
11s tags
tags
11s
fix: section tag overlap in Manual Check toolchain file #1594: Pull request #975 opened by david-christiansen
7s tags
tags
7s
chore: use upstream HTML type Check toolchain file #1593: Pull request #974 synchronize by Vtec234
9s adapt-html-type
adapt-html-type
9s
chore: use upstream HTML type Check toolchain file #1592: Pull request #974 opened by Vtec234
10s adapt-html-type
adapt-html-type
10s
chore: migrate the test suite to Errata Check toolchain file #1591: Pull request #957 synchronize by david-christiansen
11s test-framework-2
test-framework-2
11s
feat: run Errata tests interactively in a widget Check toolchain file #1590: Pull request #959 synchronize by david-christiansen
7s test-framework-3
test-framework-3
7s
feat: add the Errata test framework Check toolchain file #1589: Pull request #956 synchronize by david-christiansen
10s test-framework-1
test-framework-1
10s
feat: add the Errata test framework Check toolchain file #1588: Pull request #956 synchronize by david-christiansen
7s test-framework-1
test-framework-1
7s
feat: run Errata tests interactively in a widget Check toolchain file #1587: Pull request #959 synchronize by david-christiansen
7s test-framework-3
test-framework-3
7s
chore: migrate the test suite to Errata Check toolchain file #1586: Pull request #957 synchronize by david-christiansen
8s test-framework-2
test-framework-2
8s
fix: restore syntax highlighting Check toolchain file #1585: Pull request #973 opened by ROTARTSI82
Action required ROTARTSI82:patch-1
ROTARTSI82:patch-1
Action required
Check toolchain file Check toolchain file #1584: Merge group checks requested
19s
19s
Check toolchain file Check toolchain file #1583: Merge group checks requested
16s
16s
Check toolchain file Check toolchain file #1582: Merge group checks requested
13s
13s
feat: add the Errata test framework Check toolchain file #1581: Pull request #956 synchronize by david-christiansen
2d 7h 23m 36s test-framework-1
test-framework-1
2d 7h 23m 36s
feat: add the Errata test framework Check toolchain file #1580: Pull request #956 synchronize by david-christiansen
1h 18m 20s test-framework-1
test-framework-1
1h 18m 20s
feat: run Errata tests interactively in a widget Check toolchain file #1579: Pull request #959 synchronize by david-christiansen
1h 18m 24s test-framework-3
test-framework-3
1h 18m 24s
chore: migrate the test suite to Errata Check toolchain file #1578: Pull request #957 synchronize by david-christiansen
1h 17m 0s test-framework-2
test-framework-2
1h 17m 0s
feat: run Errata tests interactively in a widget Check toolchain file #1577: Pull request #959 synchronize by david-christiansen
1h 16m 27s test-framework-3
test-framework-3
1h 16m 27s
feat: run Errata tests interactively in a widget Check toolchain file #1576: Pull request #959 synchronize by david-christiansen
1h 16m 34s test-framework-3
test-framework-3
1h 16m 34s
feat: run Errata tests interactively in a widget Check toolchain file #1575: Pull request #959 synchronize by david-christiansen
9s test-framework-3
test-framework-3
9s
chore: migrate the test suite to Errata Check toolchain file #1574: Pull request #957 synchronize by david-christiansen
8s test-framework-2
test-framework-2
8s
chore: migrate the test suite to Errata Check toolchain file #1573: Pull request #957 synchronize by david-christiansen
7s test-framework-2
test-framework-2
7s