Skip to content

Actions: coherentforge/CambiOS

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
201 workflow runs
201 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) #49: Scheduled
1m 42s main
main
1m 42s
Boot smoke (QEMU) Boot smoke (QEMU) #48: Scheduled
1m 38s main
main
1m 38s
kernel: ADR-018 step 7 — boot integration: init runs as PID 1 (coexis… Proofs (Kani) #75: Commit dfcd8f4 pushed by riccajason
19s main
main
19s
kernel: ADR-018 step 7 — boot integration: init runs as PID 1 (coexis… CI #77: Commit dfcd8f4 pushed by riccajason
36s main
main
36s
Boot smoke (QEMU) Boot smoke (QEMU) #47: Scheduled
1m 46s main
main
1m 46s
Boot smoke (QEMU) Boot smoke (QEMU) #46: Scheduled
1m 17s main
main
1m 17s
Boot smoke (QEMU) Boot smoke (QEMU) #45: Scheduled
1m 30s main
main
1m 30s
Boot smoke (QEMU) Boot smoke (QEMU) #44: Scheduled
1m 16s main
main
1m 16s
init: ADR-018 step 6 — user/init crate: supervisor engine + shell (do… Proofs (Kani) #74: Commit a413f22 pushed by riccajason
17s main
main
17s
init: ADR-018 step 6 — user/init crate: supervisor engine + shell (do… CI #76: Commit a413f22 pushed by riccajason
40s main
main
40s
Boot smoke (QEMU) Boot smoke (QEMU) #43: Scheduled
1m 35s main
main
1m 35s
kernel: ADR-018 step 5 — handle_spawn manifest branch + kernel-typed … Proofs (Kani) #73: Commit 8f2f500 pushed by riccajason
23s main
main
23s
kernel: ADR-018 step 5 — handle_spawn manifest branch + kernel-typed … CI #75: Commit 8f2f500 pushed by riccajason
35s main
main
35s
Boot smoke (QEMU) Boot smoke (QEMU) #42: Scheduled
1m 46s main
main
1m 46s
docs: STATUS.md sync — ADR-018 step 4 + boot-stall flake known-issue;… Proofs (Kani) #72: Commit 37bca01 pushed by riccajason
17s main
main
17s
docs: STATUS.md sync — ADR-018 step 4 + boot-stall flake known-issue;… CI #74: Commit 37bca01 pushed by riccajason
36s main
main
36s
Boot smoke (QEMU) Boot smoke (QEMU) #41: Scheduled
1m 24s main
main
1m 24s
docs: STATUS.md sync — ADR-018 arc opens (steps 1-3); deferrals basel… CI #73: Commit c645001 pushed by riccajason
52s main
main
52s
docs: STATUS.md sync — ADR-018 arc opens (steps 1-3); deferrals basel… Proofs (Kani) #71: Commit c645001 pushed by riccajason
22s main
main
22s
ipc: ADR-018 step 3 — endpoint reservation table + SYS_REGISTER_ENDPO… CI #72: Commit 9ce4375 pushed by riccajason
26s main
main
26s
ipc: ADR-018 step 3 — endpoint reservation table + SYS_REGISTER_ENDPO… Proofs (Kani) #70: Commit 9ce4375 pushed by riccajason
11s main
main
11s
tools: ADR-018 step 2 — build-manifest + manifest.toml registry + mak… CI #71: Commit db899dc pushed by riccajason
22s main
main
22s
tools: ADR-018 step 2 — build-manifest + manifest.toml registry + mak… Proofs (Kani) #69: Commit db899dc pushed by riccajason
17s main
main
17s
manifest: ADR-018 step 1 — cambios-manifest wire-format crate CI #70: Commit 27ae7ab pushed by riccajason
35s main
main
35s
manifest: ADR-018 step 1 — cambios-manifest wire-format crate Proofs (Kani) #68: Commit 27ae7ab pushed by riccajason
20s main
main
20s