Skip to content

Actions: coherentforge/CambiOS

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
160 workflow runs
160 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
libipc: ADR-037 L1 core trio + policy-service loop port Proofs (Kani) #61: Commit 047a19b pushed by riccajason
19s main
main
19s
libipc: ADR-037 L1 core trio + policy-service loop port CI #63: Commit 047a19b pushed by riccajason
36s main
main
36s
Boot smoke (QEMU) Boot smoke (QEMU) #36: Scheduled
1m 18s main
main
1m 18s
Boot smoke (QEMU) Boot smoke (QEMU) #35: Scheduled
1m 29s main
main
1m 29s
libsys-rt: ADR-037 L0 service runtime + first consumer (policy-service) Proofs (Kani) #60: Commit d0b3588 pushed by riccajason
17s main
main
17s
libsys-rt: ADR-037 L0 service runtime + first consumer (policy-service) CI #62: Commit d0b3588 pushed by riccajason
36s main
main
36s
docs: ADR-037 native app framework — Proposed -> Accepted Proofs (Kani) #59: Commit a1ec94e pushed by riccajason
17s main
main
17s
docs: ADR-037 native app framework — Proposed -> Accepted CI #61: Commit a1ec94e pushed by riccajason
30s main
main
30s
chore: commit shared .claude/settings.json; ignore per-developer state CI #60: Commit dc30213 pushed by riccajason
30s main
main
30s
chore: commit shared .claude/settings.json; ignore per-developer state Proofs (Kani) #58: Commit dc30213 pushed by riccajason
18s main
main
18s
docs: STATUS.md sync — record June landings + worktree merge, rotate … CI #59: Commit 40a53fa pushed by riccajason
35s main
main
35s
docs: STATUS.md sync — record June landings + worktree merge, rotate … Proofs (Kani) #57: Commit 40a53fa pushed by riccajason
17s main
main
17s
Boot smoke (QEMU) Boot smoke (QEMU) #34: Scheduled
2m 0s main
main
2m 0s
Merge branch 'worktree-audit-concurrency-cfg-parity' Proofs (Kani) #56: Commit bd50b76 pushed by riccajason
5m 31s main
main
5m 31s
Merge branch 'worktree-audit-concurrency-cfg-parity' CI #58: Commit bd50b76 pushed by riccajason
37s main
main
37s
ci: path-gate Kani proof jobs; no-op success on proof-irrelevant PRs CI #57: Commit c0b921d pushed by riccajason
38s main
main
38s
ci: path-gate Kani proof jobs; no-op success on proof-irrelevant PRs Proofs (Kani) #55: Commit c0b921d pushed by riccajason
4m 56s main
main
4m 56s
Boot smoke (QEMU) Boot smoke (QEMU) #33: Scheduled
1m 28s main
main
1m 28s
Boot smoke (QEMU) Boot smoke (QEMU) #32: Scheduled
1m 24s main
main
1m 24s
Boot smoke (QEMU) Boot smoke (QEMU) #31: Scheduled
1m 24s main
main
1m 24s
Boot smoke (QEMU) Boot smoke (QEMU) #30: Scheduled
1m 33s main
main
1m 33s
Boot smoke (QEMU) Boot smoke (QEMU) #29: Scheduled
1m 18s main
main
1m 18s
Boot smoke (QEMU) Boot smoke (QEMU) #28: Scheduled
1m 19s main
main
1m 19s
Boot smoke (QEMU) Boot smoke (QEMU) #27: Scheduled
1m 24s main
main
1m 24s
tools: resync check-deferrals baseline after audit-taxonomy line shifts Proofs (Kani) #54: Commit 914880b pushed by riccajason
5m 42s main
main
5m 42s