Skip to content

Actions: AnubisQuantumCipher/jackal

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
523 workflow runs
523 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
Extend JACKAL with certified STEM engineering workflows Formal proof identity gate #251: Commit c557011 pushed by AnubisQuantumCipher
3m 0s feat/linux-aarch64-host-support
feat/linux-aarch64-host-support
3m 0s
Extend JACKAL with certified STEM engineering workflows JACKAL Codex plugin #206: Commit c557011 pushed by AnubisQuantumCipher
43s feat/linux-aarch64-host-support
feat/linux-aarch64-host-support
43s
Add JACKAL Number Theory 1.0 certified Diophantine workflows Formal proof identity gate #250: Commit fe02f1d pushed by AnubisQuantumCipher
17m 36s feat/linux-aarch64-host-support
feat/linux-aarch64-host-support
17m 36s
Add JACKAL Number Theory 1.0 certified Diophantine workflows JACKAL Codex plugin #205: Commit fe02f1d pushed by AnubisQuantumCipher
47s feat/linux-aarch64-host-support
feat/linux-aarch64-host-support
47s
Merge PR #19: integrate THOTH STEM workspace and scoped proof kernels Spacecraft burn formal certificate gate #64: Commit 2d425e7 pushed by AnubisQuantumCipher
4h 57m 28s master
master
4h 57m 28s
Merge PR #19: integrate THOTH STEM workspace and scoped proof kernels JACKAL Codex plugin #204: Commit 2d425e7 pushed by AnubisQuantumCipher
1m 26s master
master
1m 26s
Merge PR #19: integrate THOTH STEM workspace and scoped proof kernels Formal proof identity gate #249: Commit 2d425e7 pushed by AnubisQuantumCipher
25m 7s master
master
25m 7s
Integrate THOTH STEM workspace and Platinum-scoped proof kernels JACKAL Codex plugin #203: Pull request #19 synchronize by AnubisQuantumCipher
1m 26s feat/platinum-thoth-integration
feat/platinum-thoth-integration
1m 26s
Integrate THOTH STEM workspace and Platinum-scoped proof kernels Spacecraft burn formal certificate gate #63: Pull request #19 synchronize by AnubisQuantumCipher
4h 7m 0s feat/platinum-thoth-integration
feat/platinum-thoth-integration
4h 7m 0s
Integrate THOTH STEM workspace and Platinum-scoped proof kernels Formal proof identity gate #248: Pull request #19 synchronize by AnubisQuantumCipher
27m 13s feat/platinum-thoth-integration
feat/platinum-thoth-integration
27m 13s
Remove runner dependency from SPARK proof guard JACKAL Codex plugin #202: Commit 6c73335 pushed by AnubisQuantumCipher
1m 29s feat/platinum-thoth-integration
feat/platinum-thoth-integration
1m 29s
Remove runner dependency from SPARK proof guard Formal proof identity gate #247: Commit 6c73335 pushed by AnubisQuantumCipher
26m 34s feat/platinum-thoth-integration
feat/platinum-thoth-integration
26m 34s
Integrate THOTH STEM workspace and Platinum-scoped proof kernels Formal proof identity gate #246: Pull request #19 synchronize by AnubisQuantumCipher
25m 31s feat/platinum-thoth-integration
feat/platinum-thoth-integration
25m 31s
Integrate THOTH STEM workspace and Platinum-scoped proof kernels JACKAL Codex plugin #201: Pull request #19 synchronize by AnubisQuantumCipher
1m 32s feat/platinum-thoth-integration
feat/platinum-thoth-integration
1m 32s
Integrate THOTH STEM workspace and Platinum-scoped proof kernels Spacecraft burn formal certificate gate #62: Pull request #19 synchronize by AnubisQuantumCipher
3m 21s feat/platinum-thoth-integration
feat/platinum-thoth-integration
3m 21s
Fail closed on GNATprove assumption counts JACKAL Codex plugin #200: Commit fc54d12 pushed by AnubisQuantumCipher
1m 26s feat/platinum-thoth-integration
feat/platinum-thoth-integration
1m 26s
Fail closed on GNATprove assumption counts Formal proof identity gate #245: Commit fc54d12 pushed by AnubisQuantumCipher
20m 38s feat/platinum-thoth-integration
feat/platinum-thoth-integration
20m 38s
Integrate THOTH STEM workspace and Platinum-scoped proof kernels Spacecraft burn formal certificate gate #61: Pull request #19 synchronize by AnubisQuantumCipher
2m 16s feat/platinum-thoth-integration
feat/platinum-thoth-integration
2m 16s
Integrate THOTH STEM workspace and Platinum-scoped proof kernels Formal proof identity gate #244: Pull request #19 synchronize by AnubisQuantumCipher
24m 49s feat/platinum-thoth-integration
feat/platinum-thoth-integration
24m 49s
Integrate THOTH STEM workspace and Platinum-scoped proof kernels JACKAL Codex plugin #199: Pull request #19 synchronize by AnubisQuantumCipher
1m 34s feat/platinum-thoth-integration
feat/platinum-thoth-integration
1m 34s
Make SPARK assumption guards syntax robust JACKAL Codex plugin #198: Commit 1e699e2 pushed by AnubisQuantumCipher
1m 25s feat/platinum-thoth-integration
feat/platinum-thoth-integration
1m 25s
Make SPARK assumption guards syntax robust Formal proof identity gate #243: Commit 1e699e2 pushed by AnubisQuantumCipher
26m 25s feat/platinum-thoth-integration
feat/platinum-thoth-integration
26m 25s
Integrate THOTH STEM workspace and Platinum-scoped proof kernels Formal proof identity gate #242: Pull request #19 synchronize by AnubisQuantumCipher
9m 8s feat/platinum-thoth-integration
feat/platinum-thoth-integration
9m 8s
Integrate THOTH STEM workspace and Platinum-scoped proof kernels Spacecraft burn formal certificate gate #60: Pull request #19 synchronize by AnubisQuantumCipher
1h 33m 12s feat/platinum-thoth-integration
feat/platinum-thoth-integration
1h 33m 12s
Integrate THOTH STEM workspace and Platinum-scoped proof kernels JACKAL Codex plugin #197: Pull request #19 synchronize by AnubisQuantumCipher
1m 30s feat/platinum-thoth-integration
feat/platinum-thoth-integration
1m 30s