Skip to content

Actions: hyperpolymath/conflow

Actions

Rust CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust-ci.yml
255 workflow runs
255 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
feat: add tlaiser state machine specs for config validation pipeline Rust CI #105: Commit 774f8de pushed by hyperpolymath
2h 15m 45s main
main
2h 15m 45s
feat: add k9iser.toml and generate K9 contracts Rust CI #104: Commit 67b9b0f pushed by hyperpolymath
2h 21m 33s main
main
2h 21m 33s
ci: deploy dogfood-gate, update CI config, add CRG tests Rust CI #103: Commit b719b11 pushed by hyperpolymath
1h 47m 58s main
main
1h 47m 58s
fix(ci): replace casket-pages with standard Jekyll Pages workflow Rust CI #102: Commit 1a45c81 pushed by hyperpolymath
11m 12s main
main
11m 12s
Add casket pages workflow Rust CI #101: Commit f87d4c8 pushed by hyperpolymath
27m 17s main
main
27m 17s
Remove template-only ABI files that falsely implied formal verification Rust CI #100: Commit 9a1c8fe pushed by hyperpolymath
14m 39s main
main
14m 39s
chore: replace template placeholder in ROADMAP.adoc with project name Rust CI #99: Commit cd8b894 pushed by hyperpolymath
13m 25s main
main
13m 25s
chore: deploy UX infrastructure (contractile.just, .well-known, manif… Rust CI #98: Commit 685d3eb pushed by hyperpolymath
15m 49s main
main
15m 49s
chore: gitignore .tool-versions (asdf) Rust CI #97: Commit 3db2cc6 pushed by hyperpolymath
1h 53m 35s main
main
1h 53m 35s
feat: add stapeln.toml layer-based container definition\n\nConverted … Rust CI #96: Commit fa7eef2 pushed by hyperpolymath
1h 31m 20s main
main
1h 31m 20s
chore: add UX infrastructure (quickstart, doctor, setup) Rust CI #95: Commit 84274b4 pushed by hyperpolymath
43m 10s main
main
43m 10s
feat: add V-lang API for configuration orchestration Rust CI #94: Commit 1bf8d20 pushed by hyperpolymath
8m 9s main
main
8m 9s
feat: add Groove discovery manifest Rust CI #93: Commit 203b452 pushed by hyperpolymath
9m 30s main
main
9m 30s
feat: add Groove protocol integration Rust CI #92: Commit 467775b pushed by hyperpolymath
7m 39s main
main
7m 39s
Merge branch 'chore/security-update-deps' Rust CI #91: Commit e1dfebb pushed by hyperpolymath
8m 3s main
main
8m 3s
chore: add Stapeln selur-compose.toml service definition Rust CI #90: Commit 4f0a7d9 pushed by hyperpolymath
1h 14m 59s main
main
1h 14m 59s
chore: add agent_instructions methodology layer Rust CI #89: Commit fa590fb pushed by hyperpolymath
33m 0s main
main
33m 0s
chore: standardise, Justfile, (rename,, fix, parse, errors,, remove, … Rust CI #88: Commit fd565d9 pushed by hyperpolymath
15m 18s main
main
15m 18s
docs: add EXPLAINME.adoc — prove-it file backing README claims Rust CI #87: Commit bf5cf14 pushed by hyperpolymath
42m 59s main
main
42m 59s
chore: batch RSR compliance — SPDX headers, SHA-pin actions, forbid(u… Rust CI #86: Commit 3a2158d pushed by hyperpolymath
11m 2s chore/cicd-optimizations
chore/cicd-optimizations
11m 2s
chore(security): update vulnerable dependencies (automated fix) Rust CI #85: Commit 68b47b9 pushed by hyperpolymath
7m 49s chore/security-update-deps
chore/security-update-deps
7m 49s
chore(floor-raise): add foundational tool integrations Rust CI #84: Commit 41fefd3 pushed by hyperpolymath
9m 31s chore/cicd-optimizations
chore/cicd-optimizations
9m 31s
fix(ci): Resolve workflow-linter self-matching and metadata issues Rust CI #83: Commit ce10c54 pushed by hyperpolymath
7m 24s main
main
7m 24s
chore(ci): Maximize CI/CD values (Dependabot & Permissions) Rust CI #82: Pull request #6 synchronize by hyperpolymath
7m 27s chore/cicd-optimizations
chore/cicd-optimizations
7m 27s
Merge branch 'main' into chore/cicd-optimizations Rust CI #81: Commit 43a0b49 pushed by hyperpolymath
8m 4s chore/cicd-optimizations
chore/cicd-optimizations
8m 4s