Skip to content

Actions: hyperpolymath/ephapaxiser

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 ce4bc4a pushed by hyperpolymath
1h 5m 19s main
main
1h 5m 19s
chore: add agent_instructions methodology layer CodeQL Security Analysis #14: Commit 8c5c36b pushed by hyperpolymath
33m 7s main
main
33m 7s
chore: fix, Rust, lint/fmt, issues CodeQL Security Analysis #13: Commit 876ce49 pushed by hyperpolymath
13m 15s main
main
13m 15s
CodeQL Security Analysis CodeQL Security Analysis #12: Scheduled
32s main
main
32s
docs: add EXPLAINME.adoc — prove-it file backing README claims CodeQL Security Analysis #11: Commit 0377941 pushed by hyperpolymath
18m 13s main
main
18m 13s
chore: batch RSR compliance — SPDX headers, SHA-pin actions, forbid(u… CodeQL Security Analysis #10: Commit ac00d52 pushed by hyperpolymath
2m 38s main
main
2m 38s
fix: rename .github/README.adoc to DIRECTORY.adoc CodeQL Security Analysis #9: Commit 3bfc38b pushed by hyperpolymath
1m 50s main
main
1m 50s
feat: add region-linear fusion types to ephapaxiser CodeQL Security Analysis #8: Commit 139fce8 pushed by hyperpolymath
33s main
main
33s
fix: use license-file for crates.io compatibility CodeQL Security Analysis #7: Commit 0975e22 pushed by hyperpolymath
35s main
main
35s
chore(rsr): compliance sweep — STATE, contractiles, CHANGELOG, Justfile CodeQL Security Analysis #6: Commit 753b630 pushed by hyperpolymath
1m 32s main
main
1m 32s
feat: implement Phase 1 — linear resource analysis, violation detecti… CodeQL Security Analysis #5: Commit 6232e0f pushed by hyperpolymath
37s main
main
37s
docs: bespoke documentation and ABI/FFI for ephapaxiser CodeQL Security Analysis #4: Commit 349c619 pushed by hyperpolymath
38s main
main
38s
chore(floor-raise): add foundational tool integrations CodeQL Security Analysis #3: Commit 7adb2fd pushed by hyperpolymath
3m 42s main
main
3m 42s
Complete RSR documentation: placeholders resolved, CLAUDE.md, STATE/E… CodeQL Security Analysis #2: Commit 9ef0b4b pushed by hyperpolymath
2m 8s main
main
2m 8s
Initial commit: Ephapaxiser — Enforce single-use linear type semantic… CodeQL Security Analysis #1: Commit f579333 pushed by hyperpolymath
42s main
main
42s