Skip to content

Actions: hyperpolymath/idrisiser

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