Skip to content

Actions: hyperpolymath/alloyiser

Actions

.github/workflows/workflow-linter.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
workflow-linter.yml
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: add Stapeln selur-compose.toml service definition .github/workflows/workflow-linter.yml #14: Commit 86f3323 pushed by hyperpolymath
Failure main
main
Failure
chore: add agent_instructions methodology layer .github/workflows/workflow-linter.yml #13: Commit 8cc81ab pushed by hyperpolymath
Failure main
main
Failure
chore: fix, Rust, lint/fmt, issues .github/workflows/workflow-linter.yml #12: Commit 8d772ac pushed by hyperpolymath
Failure main
main
Failure
docs: add EXPLAINME.adoc — prove-it file backing README claims .github/workflows/workflow-linter.yml #11: Commit a0d07ef pushed by hyperpolymath
Failure main
main
Failure
chore: batch RSR compliance — SPDX headers, SHA-pin actions, forbid(u… .github/workflows/workflow-linter.yml #10: Commit 4a08feb pushed by hyperpolymath
Failure main
main
Failure
fix: rename .github/README.adoc to DIRECTORY.adoc .github/workflows/workflow-linter.yml #9: Commit c5db1a0 pushed by hyperpolymath
Failure main
main
Failure
fix: use license-file for crates.io compatibility .github/workflows/workflow-linter.yml #8: Commit 1303c17 pushed by hyperpolymath
Failure main
main
Failure
chore(rsr): compliance sweep — STATE, contractiles, CHANGELOG, Justfile .github/workflows/workflow-linter.yml #7: Commit d247a27 pushed by hyperpolymath
Failure main
main
Failure
feat: alloyiser Phase 1 — API spec parser, Alloy model generation, as… .github/workflows/workflow-linter.yml #6: Commit a9c0d77 pushed by hyperpolymath
Failure main
main
Failure
docs: bespoke architecture, roadmap, topology, and ABI definitions fo… .github/workflows/workflow-linter.yml #5: Commit bfb9fa6 pushed by hyperpolymath
Failure main
main
Failure
chore(floor-raise): add integration files (Phase 2) .github/workflows/workflow-linter.yml #4: Commit f541508 pushed by hyperpolymath
Failure main
main
Failure
chore(floor-raise): add foundational tool integrations .github/workflows/workflow-linter.yml #3: Commit 21535c4 pushed by hyperpolymath
Failure main
main
Failure
Complete RSR documentation: placeholders resolved, CLAUDE.md, STATE/E… .github/workflows/workflow-linter.yml #2: Commit d41d4b6 pushed by hyperpolymath
Failure main
main
Failure
Initial commit: Alloyiser — Extract formal models from API specs and … .github/workflows/workflow-linter.yml #1: Commit df4982f pushed by hyperpolymath
Failure main
main
Failure