Skip to content

Actions: AnubisQuantumCipher/jackal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
80 workflow runs
80 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
chore(juggernaut): descope W7/W8/W9; mark W2 VERIFIED in completion r… JACKAL Codex plugin #17: Commit 704b295 pushed by AnubisQuantumCipher
21s juggernaut/completion-verifier-v1
juggernaut/completion-verifier-v1
21s
chore(juggernaut): descope W7/W8/W9; mark W2 VERIFIED in completion r… Formal proof identity gate #61: Commit 704b295 pushed by AnubisQuantumCipher
2m 28s juggernaut/completion-verifier-v1
juggernaut/completion-verifier-v1
2m 28s
JACKAL Codex plugin JACKAL Codex plugin #16: by AnubisQuantumCipher
23s juggernaut/completion-verifier-v1
juggernaut/completion-verifier-v1
23s
Formal proof identity gate Formal proof identity gate #60: by AnubisQuantumCipher
2m 32s juggernaut/completion-verifier-v1
juggernaut/completion-verifier-v1
2m 32s
SIGNOFF: claim-verifier chronology lower bounds (reject pre-emission / negative-time / contradictory-lifecycle false-accepts) JACKAL Codex plugin #15: Pull request #10 opened by AnubisQuantumCipher
23s security/claim-chronology-lower-bounds-v1
security/claim-chronology-lower-bounds-v1
23s
SIGNOFF: claim-verifier chronology lower bounds (reject pre-emission / negative-time / contradictory-lifecycle false-accepts) Formal proof identity gate #59: Pull request #10 opened by AnubisQuantumCipher
2m 44s security/claim-chronology-lower-bounds-v1
security/claim-chronology-lower-bounds-v1
2m 44s
docs(claim): freshness chronology invariants + temporal non-authenticity Formal proof identity gate #58: Commit 789f5ec pushed by AnubisQuantumCipher
2m 24s security/claim-chronology-lower-bounds-v1
security/claim-chronology-lower-bounds-v1
2m 24s
docs(claim): freshness chronology invariants + temporal non-authenticity JACKAL Codex plugin #14: Commit 789f5ec pushed by AnubisQuantumCipher
27s security/claim-chronology-lower-bounds-v1
security/claim-chronology-lower-bounds-v1
27s
docs: JACKAL juggernaut completion ledger 2026-08-18 JACKAL Codex plugin #13: Commit dd3f868 pushed by AnubisQuantumCipher
19s feat/navier-stokes-v180
feat/navier-stokes-v180
19s
docs: JACKAL juggernaut completion ledger 2026-08-18 JACKAL Navier-Stokes macOS arm64 #2: Commit dd3f868 pushed by AnubisQuantumCipher
12s feat/navier-stokes-v180
feat/navier-stokes-v180
12s
docs: JACKAL juggernaut completion ledger 2026-08-18 Formal proof identity gate #57: Commit dd3f868 pushed by AnubisQuantumCipher
3m 3s feat/navier-stokes-v180
feat/navier-stokes-v180
3m 3s
Merge Gate-0 v1.7.2 (master 54461bb) into Navier v1.8 JACKAL Navier-Stokes macOS arm64 #1: Commit af8d507 pushed by AnubisQuantumCipher
13s feat/navier-stokes-v180
feat/navier-stokes-v180
13s
Merge Gate-0 v1.7.2 (master 54461bb) into Navier v1.8 JACKAL Codex plugin #12: Commit af8d507 pushed by AnubisQuantumCipher
23s feat/navier-stokes-v180
feat/navier-stokes-v180
23s
Merge Gate-0 v1.7.2 (master 54461bb) into Navier v1.8 Formal proof identity gate #56: Commit af8d507 pushed by AnubisQuantumCipher
2m 53s feat/navier-stokes-v180
feat/navier-stokes-v180
2m 53s
Merge pull request #9 from AnubisQuantumCipher/fix/range-checker-orde… JACKAL Codex plugin #11: Commit 54461bb pushed by AnubisQuantumCipher
28s v1.7.2
v1.7.2
28s
Merge pull request #9 from AnubisQuantumCipher/fix/range-checker-orde… Formal proof identity gate #55: Commit 54461bb pushed by AnubisQuantumCipher
18m 4s v1.7.2
v1.7.2
18m 4s
Merge pull request #9 from AnubisQuantumCipher/fix/range-checker-orde… Formal proof identity gate #54: Commit 54461bb pushed by AnubisQuantumCipher
15m 40s master
master
15m 40s
Merge pull request #9 from AnubisQuantumCipher/fix/range-checker-orde… JACKAL Codex plugin #10: Commit 54461bb pushed by AnubisQuantumCipher
22s master
master
22s
fix(v1.7.2): close JACKAL checker request contracts + package inventory tuple JACKAL Codex plugin #9: Pull request #9 synchronize by AnubisQuantumCipher
24s fix/range-checker-ordering
fix/range-checker-ordering
24s
fix(v1.7.2): close JACKAL checker request contracts + package inventory tuple Formal proof identity gate #53: Pull request #9 synchronize by AnubisQuantumCipher
2m 23s fix/range-checker-ordering
fix/range-checker-ordering
2m 23s
ci: point range/int-cert proof identity check at range_proof_identity… Formal proof identity gate #52: Commit 9a81b4c pushed by AnubisQuantumCipher
2m 26s fix/range-checker-ordering
fix/range-checker-ordering
2m 26s
ci: point range/int-cert proof identity check at range_proof_identity… JACKAL Codex plugin #8: Commit 9a81b4c pushed by AnubisQuantumCipher
24s fix/range-checker-ordering
fix/range-checker-ordering
24s
fix(v1.7.2): close JACKAL checker request contracts + package inventory tuple JACKAL Codex plugin #7: Pull request #9 opened by AnubisQuantumCipher
24s fix/range-checker-ordering
fix/range-checker-ordering
24s
fix(v1.7.2): close JACKAL checker request contracts + package inventory tuple Formal proof identity gate #51: Pull request #9 opened by AnubisQuantumCipher
3m 4s fix/range-checker-ordering
fix/range-checker-ordering
3m 4s
fix(v1.7.2): close JACKAL checker request contracts + package invento… Formal proof identity gate #50: Commit 6b2f173 pushed by AnubisQuantumCipher
3m 20s fix/range-checker-ordering
fix/range-checker-ordering
3m 20s