Skip to content

Actions: hyperpolymath/alloyiser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
15 workflow runs
15 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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