Skip to content

Actions: hyperpolymath/idrisiser

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 3ac1028 pushed by hyperpolymath
Failure main
main
Failure
chore: add agent_instructions methodology layer .github/workflows/workflow-linter.yml #13: Commit 8c2ccd5 pushed by hyperpolymath
Failure main
main
Failure
chore: fix, Rust, lint/fmt, issues .github/workflows/workflow-linter.yml #12: Commit 892b4e6 pushed by hyperpolymath
Failure main
main
Failure
docs: add EXPLAINME.adoc — prove-it file backing README claims .github/workflows/workflow-linter.yml #11: Commit 8126546 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 0b3549c pushed by hyperpolymath
Failure main
main
Failure
fix: rename .github/README.adoc to DIRECTORY.adoc .github/workflows/workflow-linter.yml #9: Commit 0f8041e pushed by hyperpolymath
Failure main
main
Failure
fix: use license-file for crates.io compatibility .github/workflows/workflow-linter.yml #8: Commit 97c34c7 pushed by hyperpolymath
Failure main
main
Failure
chore(rsr): compliance sweep — STATE, contractiles, CHANGELOG, Justfile .github/workflows/workflow-linter.yml #7: Commit 4335d1e pushed by hyperpolymath
Failure main
main
Failure
test: comprehensive test suite — point-to-point, end-to-end, edge cas… .github/workflows/workflow-linter.yml #6: Commit db2c6d1 pushed by hyperpolymath
Failure main
main
Failure
feat: idrisiser Phase 1 — interface parser, Idris2 codegen, Zig bridg… .github/workflows/workflow-linter.yml #5: Commit 9174471 pushed by hyperpolymath
Failure main
main
Failure
docs: bespoke documentation for idrisiser meta-prover .github/workflows/workflow-linter.yml #4: Commit e47d128 pushed by hyperpolymath
Failure main
main
Failure
chore(floor-raise): add foundational tool integrations .github/workflows/workflow-linter.yml #3: Commit e657d30 pushed by hyperpolymath
Failure main
main
Failure
Complete RSR documentation: placeholders resolved, CLAUDE.md, STATE/E… .github/workflows/workflow-linter.yml #2: Commit c7fb6b2 pushed by hyperpolymath
Failure main
main
Failure
Initial commit: Idrisiser — Generate proven-correct wrappers from int… .github/workflows/workflow-linter.yml #1: Commit ecbe4d6 pushed by hyperpolymath
Failure main
main
Failure