Skip to content

Actions: coherentforge/CambiOS

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
20 workflow runs
20 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
tools: harden STATUS freshness check + CI gate, add sync docs phase, … Proofs (Kani) #7: Commit 514fad9 pushed by riccajason
5m 35s main
main
5m 35s
tools: harden STATUS freshness check + CI gate, add sync docs phase, … CI #9: Commit 514fad9 pushed by riccajason
34s main
main
34s
Boot smoke (QEMU) Boot smoke (QEMU) #4: Scheduled
1m 24s main
main
1m 24s
Boot smoke (QEMU) Boot smoke (QEMU) #3: Manually run by riccajason
1m 37s main
main
1m 37s
ci: install libpcsclite-dev for sign-elf's PC/SC backend on Linux CI #8: Commit 7b271dc pushed by riccajason
34s main
main
34s
ci: install libpcsclite-dev for sign-elf's PC/SC backend on Linux Proofs (Kani) #6: Commit 7b271dc pushed by riccajason
5m 37s main
main
5m 37s
Boot smoke (QEMU) Boot smoke (QEMU) #2: Manually run by riccajason
1m 11s main
main
1m 11s
build: force bash for recipes (Linux dash printf \x1f trap) Proofs (Kani) #5: Commit 62b4713 pushed by riccajason
5m 27s main
main
5m 27s
build: force bash for recipes (Linux dash printf \x1f trap) CI #7: Commit 62b4713 pushed by riccajason
33s main
main
33s
Boot smoke (QEMU) Boot smoke (QEMU) #1: Manually run by riccajason
48s main
main
48s
ci: add Tier C x86_64 QEMU boot-smoke (nightly) CI #6: Commit ff4d74b pushed by riccajason
30s main
main
30s
ci: add Tier C x86_64 QEMU boot-smoke (nightly) Proofs (Kani) #4: Commit ff4d74b pushed by riccajason
5m 21s main
main
5m 21s
ipc: shrink capability table under cfg(kani) for proof tractability CI #5: Commit 1e655c4 pushed by riccajason
35s main
main
35s
ipc: shrink capability table under cfg(kani) for proof tractability Proofs (Kani) #3: Commit 1e655c4 pushed by riccajason
5m 10s main
main
5m 10s
docs: lead PHILOSOPHY.md with the why (spine + north star) Proofs (Kani) #2: Commit 52e914a pushed by riccajason
3m 36s main
main
3m 36s
docs: lead PHILOSOPHY.md with the why (spine + north star) CI #4: Commit 52e914a pushed by riccajason
28s main
main
28s
ci: add Tier B Kani proof workflow Proofs (Kani) #1: Commit d875f33 pushed by riccajason
3m 41s main
main
3m 41s
ci: add Tier B Kani proof workflow CI #3: Commit d875f33 pushed by riccajason
31s main
main
31s
arch: gate x86_64 syscall_entry asm out of cfg(test) CI #2: Commit 8b79ff9 pushed by riccajason
31s main
main
31s
ci: add Tier A GitHub Actions regression gate CI #1: Commit 159c06e pushed by riccajason
35s main
main
35s