Skip to content

Actions: pulseengine/jess

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
345 workflow runs
345 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
fix: clean-room verification found a VACUOUS negative control in a me… CI #345: Commit f5c048f pushed by avrabe
22m 15s main
main
22m 15s
fix: clean-room verification found a VACUOUS negative control in a merged safety artifact — and five more (AFD-048) CI #344: Pull request #195 synchronize by avrabe
10m 58s fix/vacuous-negative-control
fix/vacuous-negative-control
10m 58s
feature: the DD-025 evidence gale asked for — on shipped gale-nano 0.… CI #343: Commit ff5dbaf pushed by avrabe
13m 0s main
main
13m 0s
fix: clean-room verification found a VACUOUS negative control in a merged safety artifact — and five more (AFD-048) CI #342: Pull request #195 opened by avrabe
12m 34s fix/vacuous-negative-control
fix/vacuous-negative-control
12m 34s
feature: the DD-025 evidence gale asked for — on shipped gale-nano 0.7.0 the CLOCK does not advance (AFD-047) CI #341: Pull request #194 opened by avrabe
22m 11s feature/timer-probe-dd025
feature/timer-probe-dd025
22m 11s
feature: M4-portability half of GI-FPU-002 RESOLVED — full cascade lo… CI #340: Commit 3b9581e pushed by avrabe
5m 8s main
main
5m 8s
feature: M4-portability half of GI-FPU-002 RESOLVED — full cascade lowers 5/5 on m4f; jess's obligation is 3 AEABI symbols, verified linkable (AFD-046) CI #339: Pull request #193 opened by avrabe
14m 24s feature/m4-lowering-closed
feature/m4-lowering-closed
14m 24s
feature: pin the toolchain with varve + the drift check that would ha… CI #338: Commit 8f24448 pushed by avrabe
8m 34s main
main
8m 34s
feature: pin the toolchain with varve + the drift check that would have caught meld#390 CI #337: Pull request #192 synchronize by avrabe
13m 14s feature/varve-pin
feature/varve-pin
13m 14s
feature: the complete wasm stack composes and RUNS — flight-app + gus… CI #336: Commit 1777461 pushed by avrabe
20m 59s main
main
20m 59s
feature: pin the toolchain with varve + the drift check that would have caught meld#390 CI #335: Pull request #192 opened by avrabe
21m 17s feature/varve-pin
feature/varve-pin
21m 17s
feature: the complete wasm stack composes and RUNS — flight-app + gust-hal-stub close the DD-026 seam (AFD-043 -> AFD-044) CI #334: Pull request #191 synchronize by avrabe
19m 42s finding/missing-application-seam
finding/missing-application-seam
19m 42s
feature: the complete wasm stack composes and RUNS — flight-app + gust-hal-stub close the DD-026 seam (AFD-043 -> AFD-044) CI #333: Pull request #191 synchronize by avrabe
12m 58s finding/missing-application-seam
finding/missing-application-seam
12m 58s
feature: the complete wasm stack composes and RUNS — flight-app + gust-hal-stub close the DD-026 seam (AFD-043 -> AFD-044) CI #332: Pull request #191 synchronize by avrabe
32m 11s finding/missing-application-seam
finding/missing-application-seam
32m 11s
feature: the complete wasm stack composes and RUNS — flight-app + gust-hal-stub close the DD-026 seam (AFD-043 -> AFD-044) CI #331: Pull request #191 synchronize by avrabe
4m 18s finding/missing-application-seam
finding/missing-application-seam
4m 18s
release-watch: synth v0.60.0 — 5/5 on m7dp AND m4f (M4 estimator lock… CI #330: Commit 8a3e11b pushed by avrabe
25m 48s main
main
25m 48s
feature: the complete wasm stack composes and RUNS — flight-app + gust-hal-stub close the DD-026 seam (AFD-043 -> AFD-044) CI #329: Pull request #191 synchronize by avrabe
19m 2s finding/missing-application-seam
finding/missing-application-seam
19m 2s
feature: the complete wasm stack composes and RUNS — flight-app + gust-hal-stub close the DD-026 seam (AFD-043 -> AFD-044) CI #328: Pull request #191 opened by avrabe
9m 32s finding/missing-application-seam
finding/missing-application-seam
9m 32s
release-watch: synth v0.60.0 — 5/5 on m7dp AND m4f; byte-identical across three builds; corrected a false 'executed on hardware' citation CI #327: Pull request #190 opened by avrabe
10m 10s release-watch/synth060-verified
release-watch/synth060-verified
10m 10s
feature: SIL reference vector for the cascade differential (DD-026 P2… CI #326: Commit c15c07c pushed by avrabe
9m 9s main
main
9m 9s
feature: SIL reference vector for the cascade differential (DD-026 P2) — ARM half blocked on Renode resume, recorded honestly CI #325: Pull request #189 opened by avrabe
51m 3s feature/sil-reference-vector
feature/sil-reference-vector
51m 3s
fix: correct stale prose in the cascade oracle (it claimed 3 stages w… CI #324: Commit 77ae7b5 pushed by avrabe
53m 25s main
main
53m 25s
fix: correct stale prose in the cascade oracle (it claimed 3 stages were missing) + add an image provenance pin CI #323: Pull request #188 opened by avrabe
8m 23s fix/stale-oracle-prose
fix/stale-oracle-prose
8m 23s
feature: ALL FIVE falcon cascade stages export and the fused image EX… CI #322: Commit 81f1baf pushed by avrabe
5m 26s main
main
5m 26s
feature: ALL FIVE falcon cascade stages export and the fused image EXECUTES on the RT1176 M7 CI #321: Pull request #187 opened by avrabe
23m 47s feature/cascade-5of5-executes
feature/cascade-5of5-executes
23m 47s