Skip to content

Actions: powderluv/rustproof

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
34 workflow runs
34 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
regions: the region lifetime as an ordered plan, with the plan actual… ci #34: Commit e0740ef pushed by powderluv
48s main
main
48s
runstate: the park/deadlock decision and the IPC matchers, made check… ci #33: Commit 17596f0 pushed by powderluv
56s main
main
56s
deleg: extract the delegation ledger, and make its tests actually bite ci #32: Commit 9f3abe4 pushed by powderluv
44s main
main
44s
mm: one scrub point, and an assertion that actually reaches it ci #31: Commit 3a979da pushed by powderluv
44s main
main
44s
regions: capability-gated shared memory, and tests that can actually … ci #30: Commit 6b6d7b6 pushed by powderluv
1m 25s main
main
1m 25s
irq: a second, genuinely quiet interrupt line (the console) ci #29: Commit 0b7178d pushed by powderluv
54s main
main
54s
demo: actually exercise the idle park, and stop hiding a refused spawn ci #28: Commit 2b73d4b pushed by powderluv
1m 13s main
main
1m 13s
irq: tie interrupt authority to interrupt delivery ci #27: Commit e6f8c24 pushed by powderluv
55s main
main
55s
irq-wait: fix an unprivileged kernel hang and a stale-frame resume ci #26: Commit 023d445 pushed by powderluv
49s main
main
49s
irq-wait: blocking interrupt wait + a kernel idle path ci #25: Commit 2639baa pushed by powderluv
42s main
main
42s
irq-delivery: device interrupts as capability-gated authority ci #24: Commit 858fd2e pushed by powderluv
50s main
main
50s
fault-isolation: close four holes the review found in the new fault path ci #23: Commit a49c70b pushed by powderluv
45s main
main
45s
fault-isolation: a user fault kills the process, not the machine ci #22: Commit 0c0ea0a pushed by powderluv
43s main
main
43s
real-mapbar: MAP_BAR installs a real, rights-derived device mapping ci #21: Commit 35cac66 pushed by powderluv
1m 23s main
main
1m 23s
ipc-payload: byte payloads across address spaces, with permission-che… ci #20: Commit 740bfe4 pushed by powderluv
59s main
main
59s
cap-revocation: revoke delegated capabilities across address spaces ci #19: Commit 438a4f5 pushed by powderluv
41s main
main
41s
cap-delegation: SPAWN can hand a child an attenuated capability ci #18: Commit 2ab1155 pushed by powderluv
37s main
main
37s
role-caps: per-role capability grants (least authority per process) ci #17: Commit 91d59f9 pushed by powderluv
51s main
main
51s
caps: check rights, not just type, on MAP_BAR / ALLOC_VRAM / SPAWN ci #16: Commit def73d1 pushed by powderluv
45s main
main
45s
ipc-caps: fix RECV returning status and payload in one register ci #15: Commit a8e54e4 pushed by powderluv
1m 5s main
main
1m 5s
ipc-caps: gate IPC endpoints on capabilities instead of raw integers ci #14: Commit 3ec2f9d pushed by powderluv
56s main
main
56s
vram-quota: FREE_VRAM syscall + per-process VRAM quota ci #13: Commit 50949bb pushed by powderluv
40s main
main
40s
x86-M3b: SPAWN syscall + per-process frame reclamation on exit ci #12: Commit a4d33cb pushed by powderluv
48s main
main
48s
x86-M3a: cross-address-space IPC (SEND/RECV synchronous rendezvous) ci #11: Commit 83db616 pushed by powderluv
49s main
main
49s
riscv-timer: preemptive scheduling via the Sstc stimecmp timer ci #10: Commit 1c73513 pushed by powderluv
45s main
main
45s