Skip to content

Actions: hyperpolymath/trigger

Actions

Ada/SPARK CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ada-ci.yml
13 workflow runs
13 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 #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