Skip to content

Actions: fixpoint-linux/fx-init

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27 workflow runs
27 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
tests: fix the aarch64 disk-store assertion after the zero-module merge Deploy fx-init site #27: Commit 4a005d4 pushed by jmars
1m 24s main
main
1m 24s
merge lane/cdef: init.zig follow-ons (C, E, D, F) Deploy fx-init site #26: Commit 7407303 pushed by jmars
1m 36s main
main
1m 36s
merge lane/b: fxctl --chardev client mode Deploy fx-init site #25: Commit 38bfa15 pushed by jmars
1m 44s main
main
1m 44s
M4 image: pin the kernel to a fetched artifact instead of the build host Deploy fx-init site #24: Commit 3cc417b pushed by jmars
1m 16s main
main
1m 16s
M4 image: honour fx.store= on the kernel command line (B5) Deploy fx-init site #23: Commit fc42b13 pushed by jmars
1m 21s main
main
1m 21s
M4 image: hot-apply a new generation's /etc on in-guest activate (F1) Deploy fx-init site #22: Commit 4fb6405 pushed by jmars
1m 16s main
main
1m 16s
M4 image: in-guest activate — activate a new config inside a running … Deploy fx-init site #21: Commit fbe7773 pushed by jmars
1m 19s main
main
1m 19s
tests: make qemu_boot.sh immune to concurrent edits in the sibling ch… Deploy fx-init site #20: Commit 3882ff1 pushed by jmars
1m 20s main
main
1m 20s
M4 image: detach the old root after a successful pivot (pivot follow-… Deploy fx-init site #19: Commit 0691171 pushed by jmars
1m 33s main
main
1m 33s
build: resolve the datalog headers from the sibling checkout, not the… Deploy fx-init site #18: Commit f8a742a pushed by jmars
1m 42s main
main
1m 42s
M4 image: in-guest control channel (virtio-serial) — drive the store … Deploy fx-init site #17: Commit 78d9317 pushed by jmars
1m 20s main
main
1m 20s
M4 image: pivot_root to a real rootfs (tmpfs), plus two fixes it unco… Deploy fx-init site #16: Commit a683bc2 pushed by jmars
1m 35s main
main
1m 35s
M4 image: persistent store on a virtio-blk disk + multi-boot roll-for… Deploy fx-init site #15: Commit 8c94d27 pushed by jmars
1m 19s main
main
1m 19s
M4 image: initramfs builder + QEMU runner — fx-init boots as a real PID1 Deploy fx-init site #14: Commit 793baaf pushed by jmars
1m 20s main
main
1m 20s
fx-init: retire restore_m4_facts (fx_store_rollback is snapshot-compl… Deploy fx-init site #13: Commit dee8c3f pushed by jmars
1m 42s main
main
1m 42s
fx-init: fix review findings (roll-forward clear, m3 boot harness + d… Deploy fx-init site #12: Commit f01dd84 pushed by jmars
1m 34s main
main
1m 34s
fx-init: cross-repo provenance E2E (prov_e2e.sh) + m3 zig-build fixtures Deploy fx-init site #11: Commit 2262c87 pushed by jmars
1m 45s main
main
1m 45s
remove the vendored C oracle usage; activate_diff golden-mode + Zig t… Deploy fx-init site #10: Commit 680164e pushed by jmars
1m 50s main
main
1m 50s
import the fxstore Zig store core; drop the vendored C engine Deploy fx-init site #9: Commit 017b068 pushed by jmars
1m 37s main
main
1m 37s
drop C oracle + wasm (U4); production is the Zig port Deploy fx-init site #8: Commit 7adab0c pushed by jmars
1m 54s main
main
1m 54s
revert: remove the standalone /fx-init/demo page — the in-browser dem… Deploy fx-init site #7: Commit a34e3de pushed by jmars
1m 35s main
main
1m 35s
fix(fxctl): clear message when AF_UNIX is unavailable (browser wasm) … Deploy fx-init site #6: Commit 577b9c0 pushed by jmars
1m 9s main
main
1m 9s
fix: deploy the wasm shell as fx-shell.js (not .cjs) — Caddy serves .… Deploy fx-init site #5: Commit 1eea06f pushed by jmars
1m 44s main
main
1m 44s
feat: in-browser userland demo (/fx-init/demo) — the real fixpoint-li… Deploy fx-init site #4: Commit c766cc1 pushed by jmars
1m 31s main
main
1m 31s
fx-init: real PID1 boot path (subreaper + genuine-PID1 harness) Deploy fx-init site #3: Commit 5ade858 pushed by jmars
1m 25s main
main
1m 25s