Skip to content

Actions: coherentforge/CambiOS

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
285 workflow runs
285 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
Boot smoke (QEMU) Boot smoke (QEMU) #109: Scheduled
1m 40s main
main
1m 40s
kernel+abi: the knife — retire the bootstrap-Principal gates; RevokeC… Proofs (Kani) #87: Commit e40096e pushed by riccajason
3m 17s main
main
3m 17s
kernel+abi: the knife — retire the bootstrap-Principal gates; RevokeC… CI #89: Commit e40096e pushed by riccajason
36s main
main
36s
build-manifest: dependencies by endpoint — the profile picks who owns… Proofs (Kani) #86: Commit 711532e pushed by riccajason
23s main
main
23s
build-manifest: dependencies by endpoint — the profile picks who owns… CI #88: Commit 711532e pushed by riccajason
32s main
main
32s
kernel+services+build: ADR-018 step 9 — delete the legacy boot chain;… Proofs (Kani) #85: Commit 77f1616 pushed by riccajason
1m 24s main
main
1m 24s
kernel+services+build: ADR-018 step 9 — delete the legacy boot chain;… CI #87: Commit 77f1616 pushed by riccajason
35s main
main
35s
Boot smoke (QEMU) Boot smoke (QEMU) #108: Scheduled
1m 44s main
main
1m 44s
kernel: riscv64 boot rot root-caused — large structs built on the boo… CI #86: Commit 11d3ee9 pushed by riccajason
30s main
main
30s
kernel: riscv64 boot rot root-caused — large structs built on the boo… Proofs (Kani) #84: Commit 11d3ee9 pushed by riccajason
4m 51s main
main
4m 51s
kernel+build: ADR-018 step 8 commit D — aarch64 boots supervised; per… Proofs (Kani) #83: Commit 5b61aa6 pushed by riccajason
4m 59s main
main
4m 59s
kernel+build: ADR-018 step 8 commit D — aarch64 boots supervised; per… CI #85: Commit 5b61aa6 pushed by riccajason
33s main
main
33s
kernel: fix lost IPC wake-ups — all-CPU endpoint wake + atomic check-… CI #84: Commit 1845d25 pushed by riccajason
33s main
main
33s
kernel: fix lost IPC wake-ups — all-CPU endpoint wake + atomic check-… Proofs (Kani) #82: Commit 1845d25 pushed by riccajason
15s main
main
15s
docs: STATUS known issue — QEMU cocoa display non-responsive during G… CI #83: Commit 03512cb pushed by riccajason
1m 6s main
main
1m 6s
docs: STATUS known issue — QEMU cocoa display non-responsive during G… Proofs (Kani) #81: Commit 03512cb pushed by riccajason
15s main
main
15s
kernel+services: ADR-018 step 8 — THE CUTOVER: init supervises boot, … CI #82: Commit b662040 pushed by riccajason
32s main
main
32s
kernel+services: ADR-018 step 8 — THE CUTOVER: init supervises boot, … Proofs (Kani) #80: Commit b662040 pushed by riccajason
19s main
main
19s
services: ADR-018 cutover B — readiness speaks to both worlds (ready … Proofs (Kani) #79: Commit 6efae74 pushed by riccajason
16s main
main
16s
services: ADR-018 cutover B — readiness speaks to both worlds (ready … CI #81: Commit 6efae74 pushed by riccajason
34s main
main
34s
key-store: ADR-018 cutover A — vault recognizes fde-mount's derived A… CI #80: Commit 83eea92 pushed by riccajason
30s main
main
30s
key-store: ADR-018 cutover A — vault recognizes fde-mount's derived A… Proofs (Kani) #78: Commit 83eea92 pushed by riccajason
21s main
main
21s
docs: ADR-018 step-8 pre-work — declare the dev-disk flag day (STATUS… CI #79: Commit 1880695 pushed by riccajason
33s main
main
33s
docs: ADR-018 step-8 pre-work — declare the dev-disk flag day (STATUS… Proofs (Kani) #77: Commit 1880695 pushed by riccajason
34s main
main
34s
services: ADR-018 step-8 pre-work — fs-service saves unsigned; vault … Proofs (Kani) #76: Commit 049a2ec pushed by riccajason
3m 56s main
main
3m 56s