Skip to content

Actions: hyperpolymath/alloyiser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
19 workflow runs
19 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add casket pages workflow CodeQL Security Analysis #19: Commit 672fb50 pushed by hyperpolymath
12m 42s main
main
12m 42s
CodeQL Security Analysis CodeQL Security Analysis #18: Scheduled
37s main
main
37s
feat: add stapeln.toml layer-based container definition\n\nConverted … CodeQL Security Analysis #17: Commit 521bf64 pushed by hyperpolymath
1h 15m 52s main
main
1h 15m 52s
chore: add UX infrastructure (quickstart, doctor, setup) CodeQL Security Analysis #16: Commit 8ab1dc1 pushed by hyperpolymath
15m 7s main
main
15m 7s
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