Skip to content

Actions: hyperpolymath/atsiser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.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 CodeQL Security Analysis #14: Commit 55f24c2 pushed by hyperpolymath
56m 1s main
main
56m 1s
chore: add agent_instructions methodology layer CodeQL Security Analysis #13: Commit 5decefc pushed by hyperpolymath
17m 20s main
main
17m 20s
chore: fix, Rust, lint/fmt, issues CodeQL Security Analysis #12: Commit cc04a7d pushed by hyperpolymath
5m 1s main
main
5m 1s
CodeQL Security Analysis CodeQL Security Analysis #11: Scheduled
32s main
main
32s
docs: add EXPLAINME.adoc — prove-it file backing README claims CodeQL Security Analysis #10: Commit 813da93 pushed by hyperpolymath
8m 9s main
main
8m 9s
chore: batch RSR compliance — SPDX headers, SHA-pin actions, forbid(u… CodeQL Security Analysis #9: Commit 9e3c540 pushed by hyperpolymath
39s main
main
39s
fix: rename .github/README.adoc to DIRECTORY.adoc CodeQL Security Analysis #8: Commit a5a087b pushed by hyperpolymath
2m 31s main
main
2m 31s
fix: use license-file for crates.io compatibility CodeQL Security Analysis #7: Commit cc2ef33 pushed by hyperpolymath
36s main
main
36s
chore(rsr): compliance sweep — STATE, contractiles, CHANGELOG, Justfile CodeQL Security Analysis #6: Commit fc289f9 pushed by hyperpolymath
2m 21s main
main
2m 21s
feat: implement Phase 1 — manifest, codegen pipeline, ABI types, and … CodeQL Security Analysis #5: Commit e582563 pushed by hyperpolymath
37s main
main
37s
docs: bespoke architecture, roadmap, topology, and ABI definitions fo… CodeQL Security Analysis #4: Commit 8bc8866 pushed by hyperpolymath
32s main
main
32s
chore(floor-raise): add foundational tool integrations CodeQL Security Analysis #3: Commit 3846282 pushed by hyperpolymath
1m 18s main
main
1m 18s
Complete RSR documentation: placeholders resolved, CLAUDE.md, STATE/E… CodeQL Security Analysis #2: Commit cf52075 pushed by hyperpolymath
3m 52s main
main
3m 52s
Initial commit: Atsiser — Wrap C codebases in ATS linear types for ze… CodeQL Security Analysis #1: Commit e2c6615 pushed by hyperpolymath
1m 44s main
main
1m 44s