Skip to content

Actions: hyperpolymath/trigger

Actions

Ada/SPARK CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ada-ci.yml
23 workflow runs
23 workflow runs

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
Ada/SPARK CI Ada/SPARK CI #23: Scheduled
24s main
main
24s
refactor: rename Hexadeca → unified-api-adapter (estate-wide) (#12) Ada/SPARK CI #22: Commit e68b5a1 pushed by hyperpolymath
1h 18m 44s main
main
1h 18m 44s
refactor: rename Hexadeca → unified-api-adapter (estate-wide) Ada/SPARK CI #21: Pull request #12 opened by hyperpolymath
1h 18m 38s refactor/unified-api-adapter
refactor/unified-api-adapter
1h 18m 38s
fix(ci): reconcile the workflows with actions.lock (gh-actions-lock) … Ada/SPARK CI #20: Commit ea57ab2 pushed by hyperpolymath
57m 0s main
main
57m 0s
fix(ci): reconcile the workflows with actions.lock (gh-actions-lock) Ada/SPARK CI #19: Pull request #10 opened by hyperpolymath
1h 12m 56s fix/sha-pin-actions
fix/sha-pin-actions
1h 12m 56s
Ada/SPARK CI Ada/SPARK CI #18: Scheduled
Startup failure main
main
Startup failure
fix(ci): pin third-party actions to full commit SHAs (#9) Ada/SPARK CI #17: Commit ea72950 pushed by hyperpolymath
Startup failure main
main
Startup failure
Ada/SPARK CI Ada/SPARK CI #16: opened by hyperpolymath
Startup failure fix/sha-pin-actions
fix/sha-pin-actions
Startup failure
Ada/SPARK CI Ada/SPARK CI #15: Scheduled
33s main
main
33s
Ada/SPARK CI Ada/SPARK CI #14: Scheduled
32s main
main
32s
Ada/SPARK CI Ada/SPARK CI #13: Scheduled
24s main
main
24s
fix(ci): unbreak workflow YAML and add a complete actions.lock (#4) Ada/SPARK CI #12: Commit 7bfb0f1 pushed by hyperpolymath
1m 13s main
main
1m 13s
fix(ci): unbreak workflow YAML and add a complete actions.lock Ada/SPARK CI #11: Pull request #4 opened by hyperpolymath
1m 0s fix/workflow-dependency-locking
fix/workflow-dependency-locking
1m 0s
Ada/SPARK CI Ada/SPARK CI #10: Scheduled
24s main
main
24s
Ada/SPARK CI Ada/SPARK CI #9: Scheduled
27s main
main
27s
feat: Add proof needs document, draft SPARK annotations, and Epistemi… Ada/SPARK CI #8: Commit a47f6cc pushed by hyperpolymath
30s main
main
30s
Align test infrastructure with proven-tests-and-benches standards Ada/SPARK CI #7: Commit 4c0f9dc pushed by hyperpolymath
31s main
main
31s
A: Add cryptography implementation with Zig FFI Ada/SPARK CI #6: Commit 1b1aa5d pushed by hyperpolymath
30s main
main
30s
Connect platform implementations to real Zig FFI calls Ada/SPARK CI #5: Commit b73ad4a pushed by hyperpolymath
40s main
main
40s
Step 4.1: Complete platform implementations with actual functionality Ada/SPARK CI #4: Commit 11034f1 pushed by hyperpolymath
2m 19s main
main
2m 19s
Step 3: Complete functional ADI TUI with platform integration Ada/SPARK CI #3: Commit 744242e pushed by hyperpolymath
46s main
main
46s
Complete Step 2: Update CLI with multi-platform support Ada/SPARK CI #2: Commit fbbd80a pushed by hyperpolymath
32s main
main
32s
feat: Complete RSR-template-repo compliance with Ada/SPARK rewrite Ada/SPARK CI #1: Commit 5c87c07 pushed by hyperpolymath
44s main
main
44s