Skip to content

Actions: pulseengine/gale

Actions

Coverage

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coverage.yml
822 workflow runs
822 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(T2): dissolve the I-ISO region-programming core — and a 40% SRAM… Coverage #822: Commit 415191c pushed by avrabe
6m 24s main
main
6m 24s
feat(T2): dissolve the I-ISO region-programming core — and a 40% SRAM finding Coverage #821: Pull request #262 opened by avrabe
5m 26s feat/t2-mpu-dissolve
feat/t2-mpu-dissolve
5m 26s
feat(T2): dissolve the Health Monitor — the isolation core moves onto… Coverage #820: Commit c586709 pushed by avrabe
8m 23s main
main
8m 23s
feat(T2): dissolve the Health Monitor — the isolation core moves onto the verified path Coverage #819: Pull request #261 opened by avrabe
7m 5s feat/t2-hm-dissolve
feat/t2-hm-dissolve
7m 5s
close(v0.7.0): E2's V closes — the dissolve gate is green on main, tw… Coverage #818: Commit 90e5c4c pushed by avrabe
8m 53s main
main
8m 53s
req(T2): state what object-code verification actually achieves — and … Coverage #817: Commit 5dcd283 pushed by avrabe
8m 25s main
main
8m 25s
close(v0.7.0): E2's V closes — the dissolve gate is green on main, twice Coverage #816: Pull request #259 synchronize by avrabe
8m 13s close/e2-v-closure
close/e2-v-closure
8m 13s
req(T2): state what object-code verification actually achieves — and what it needs Coverage #815: Pull request #260 opened by avrabe
5m 40s req/t2-reword
req/t2-reword
5m 40s
close(v0.7.0): E2's V closes — the dissolve gate is green on main, twice Coverage #814: Pull request #259 opened by avrabe
13m 6s close/e2-v-closure
close/e2-v-closure
13m 6s
fix(gust): one gust:hal, not two — delete the vendored copy that had … Coverage #813: Commit 8c05e55 pushed by avrabe
12m 24s main
main
12m 24s
fix(gust): one gust:hal, not two — delete the vendored copy that had already drifted Coverage #812: Pull request #258 reopened by avrabe
1h 13m 37s fix/wit-hal-single-source
fix/wit-hal-single-source
1h 13m 37s
feat(gust): E2 — the whole OS dissolves, and the seam survives it (#257) Coverage #811: Commit 7609bba pushed by avrabe
46m 6s main
main
46m 6s
feat(gust): E2 — the whole OS dissolves, and the seam survives it Coverage #810: Pull request #257 synchronize by avrabe
5m 11s feat/e2-composite-dissolve
feat/e2-composite-dissolve
5m 11s
feat(gust): E2 — the whole OS dissolves, and the seam survives it Coverage #809: Pull request #257 reopened by avrabe
6m 22s feat/e2-composite-dissolve
feat/e2-composite-dissolve
6m 22s
feat(gust): E2 — the whole OS dissolves, and the seam survives it Coverage #808: Pull request #257 opened by avrabe
4h 40m 38s feat/e2-composite-dissolve
feat/e2-composite-dissolve
4h 40m 38s
docs(dma): record the upstream references behind the shared-memory di… Coverage #807: Commit 9221741 pushed by avrabe
5h 10m 21s main
main
5h 10m 21s
docs(dma): record the upstream references behind the shared-memory direction Coverage #806: Pull request #256 opened by avrabe
5m 33s docs/shm-canonical-references
docs/shm-canonical-references
5m 33s
close(v0.7.0): E1's V closes on a gated result, + the timer defect ge… Coverage #805: Commit e6eb123 pushed by avrabe
5m 28s main
main
5m 28s
close(v0.7.0): E1's V closes on a gated result, + the timer defect gets an artifact Coverage #804: Pull request #255 opened by avrabe
24m 52s close/e1-v-and-timer-defect
close/e1-v-and-timer-defect
24m 52s
fix(gust): the composite gate had a syntax error, and CI could not ha… Coverage #803: Commit 878a2ed pushed by avrabe
6m 20s main
main
6m 20s
fix(gust): the composite gate had a syntax error, and CI could not have seen it Coverage #802: Pull request #254 opened by avrabe
13m 8s fix/composite-gate-syntax-and-ci
fix/composite-gate-syntax-and-ci
13m 8s
feat(gust): execute the composite — the claim holds, and the gate tha… Coverage #801: Commit a9bbfbf pushed by avrabe
55m 0s main
main
55m 0s
feat(gust): execute the composite — the claim holds, and the gate that checked it did not Coverage #800: Pull request #250 synchronize by avrabe
27m 3s feat/composite-execution
feat/composite-execution
27m 3s
plan(v0.7.0): split depth from breadth, and give the deferred timing … Coverage #799: Commit 2fac420 pushed by avrabe
26m 8s main
main
26m 8s
plan(v0.7.0): split depth from breadth, and give the deferred timing triad a home Coverage #798: Pull request #253 opened by avrabe
7m 14s plan/v0.7.0-split
plan/v0.7.0-split
7m 14s