Skip to content

Actions: leanprover/verso

Actions

All test modules imported

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-imports.yml
826 workflow runs
826 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
All test modules imported All test modules imported #839: Merge group checks requested
11s
11s
fix: number counters correctly in response to containment rules All test modules imported #838: Pull request #977 opened by david-christiansen
8s counter
counter
8s
All test modules imported All test modules imported #837: Merge group checks requested
12s
12s
fix: section tag overlap in Manual All test modules imported #836: Pull request #975 synchronize by david-christiansen
10s tags
tags
10s
fix: section tag overlap in Manual All test modules imported #835: Pull request #975 synchronize by david-christiansen
7s tags
tags
7s
fix: section tag overlap in Manual All test modules imported #834: Pull request #975 opened by david-christiansen
8s tags
tags
8s
chore: use upstream HTML type All test modules imported #833: Pull request #974 synchronize by Vtec234
10s adapt-html-type
adapt-html-type
10s
chore: use upstream HTML type All test modules imported #832: Pull request #974 opened by Vtec234
11s adapt-html-type
adapt-html-type
11s
chore: migrate the test suite to Errata All test modules imported #831: Pull request #957 synchronize by david-christiansen
11s test-framework-2
test-framework-2
11s
feat: run Errata tests interactively in a widget All test modules imported #830: Pull request #959 synchronize by david-christiansen
7s test-framework-3
test-framework-3
7s
feat: add the Errata test framework All test modules imported #829: Pull request #956 synchronize by david-christiansen
9s test-framework-1
test-framework-1
9s
feat: add the Errata test framework All test modules imported #828: Pull request #956 synchronize by david-christiansen
10s test-framework-1
test-framework-1
10s
chore: migrate the test suite to Errata All test modules imported #827: Pull request #957 synchronize by david-christiansen
11s test-framework-2
test-framework-2
11s
feat: run Errata tests interactively in a widget All test modules imported #826: Pull request #959 synchronize by david-christiansen
7s test-framework-3
test-framework-3
7s
fix: restore syntax highlighting All test modules imported #825: Pull request #973 opened by ROTARTSI82
Action required ROTARTSI82:patch-1
ROTARTSI82:patch-1
Action required
All test modules imported All test modules imported #824: Merge group checks requested
12s
12s
All test modules imported All test modules imported #823: Merge group checks requested
3s
3s
chore: migrate the test suite to Errata All test modules imported #822: Pull request #957 synchronize by david-christiansen
1d 13h 38m 33s test-framework-2
test-framework-2
1d 13h 38m 33s
feat: run Errata tests interactively in a widget All test modules imported #821: Pull request #959 synchronize by david-christiansen
1d 13h 4m 20s test-framework-3
test-framework-3
1d 13h 4m 20s
feat: add the Errata test framework All test modules imported #820: Pull request #956 synchronize by david-christiansen
2d 9h 31m 33s test-framework-1
test-framework-1
2d 9h 31m 33s
feat: run Errata tests interactively in a widget All test modules imported #819: Pull request #959 synchronize by david-christiansen
51m 25s test-framework-3
test-framework-3
51m 25s
feat: add the Errata test framework All test modules imported #818: Pull request #956 synchronize by david-christiansen
1h 18m 24s test-framework-1
test-framework-1
1h 18m 24s
feat: run Errata tests interactively in a widget All test modules imported #817: Pull request #959 synchronize by david-christiansen
1h 25m 19s test-framework-3
test-framework-3
1h 25m 19s
chore: migrate the test suite to Errata All test modules imported #816: Pull request #957 synchronize by david-christiansen
1h 17m 37s test-framework-2
test-framework-2
1h 17m 37s
feat: run Errata tests interactively in a widget All test modules imported #815: Pull request #959 synchronize by david-christiansen
1h 15m 10s test-framework-3
test-framework-3
1h 15m 10s