Skip to content

Actions: hyperpolymath/januskey

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
116 workflow runs
116 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred CodeQL Security Analysis #116: Commit 59c1601 pushed by hyperpolymath
47m 22s main
main
47m 22s
CodeQL Security Analysis CodeQL Security Analysis #115: Scheduled
41s main
main
41s
feat(crg): add crg-grade and crg-badge justfile recipes CodeQL Security Analysis #114: Commit ca10100 pushed by hyperpolymath
5h 46m 52s main
main
5h 46m 52s
feat(crg): add Current Grade badge anchor to READINESS.md CodeQL Security Analysis #113: Commit 1c6ad5b pushed by hyperpolymath
5h 16m 49s main
main
5h 16m 49s
docs: add M2 estate audit report (2026-04-04) CodeQL Security Analysis #112: Commit 49b855b pushed by hyperpolymath
4h 0m 43s main
main
4h 0m 43s
chore: add k9 Kennel guard for security invariants CodeQL Security Analysis #111: Commit c110c1c pushed by hyperpolymath
2h 6m 18s main
main
2h 6m 18s
feat: add idrisiser Idris2 proof wrappers for JanusKey cryptographic … CodeQL Security Analysis #110: Commit 07cd404 pushed by hyperpolymath
2h 8m 54s main
main
2h 8m 54s
chore: add k9iser.toml (Batch 2A) CodeQL Security Analysis #109: Commit b82237b pushed by hyperpolymath
2h 37m 51s main
main
2h 37m 51s
ci: deploy dogfood-gate, add Groove manifest, K9 contracts, CRG tests CodeQL Security Analysis #108: Commit fd68c9c pushed by hyperpolymath
1h 53m 41s main
main
1h 53m 41s
docs: substantive CRG C annotation (EXPLAINME.adoc) CodeQL Security Analysis #107: Commit c81c48e pushed by hyperpolymath
26m 11s main
main
26m 11s
CRG blitz D→C: comprehensive test coverage for januskey CodeQL Security Analysis #106: Commit aca31f4 pushed by hyperpolymath
42s main
main
42s
feat: blitz — wire all tests, add property-based + regression, fix be… CodeQL Security Analysis #105: Commit 51ad406 pushed by hyperpolymath
33s main
main
33s
Add casket pages workflow CodeQL Security Analysis #104: Commit 535bebd pushed by hyperpolymath
31m 52s main
main
31m 52s
fix: replace 60 unwrap() calls with expect() in security-critical mod… CodeQL Security Analysis #103: Commit eebc8f0 pushed by hyperpolymath
42s main
main
42s
fix: quote $$ and use printf in setup.sh CodeQL Security Analysis #102: Commit 50b2982 pushed by hyperpolymath
34s main
main
34s
ci: add E2E + aspect + bench + Zig FFI + panic-attack workflow CodeQL Security Analysis #101: Commit 6b9a260 pushed by hyperpolymath
36s main
main
36s
feat: add E2E, P2P, aspect tests + criterion benchmarks CodeQL Security Analysis #100: Commit 32986f6 pushed by hyperpolymath
35s main
main
35s
feat: add Zig FFI implementation + C header + integration tests CodeQL Security Analysis #99: Commit 9cfec7c pushed by hyperpolymath
37s main
main
37s
feat: complete Idris2 ABI — Foreign.idr + Proofs.idr CodeQL Security Analysis #98: Commit 29f5a56 pushed by hyperpolymath
36s main
main
36s
feat: add Idris2 ABI proofs — TypeLL Levels 1-12 CodeQL Security Analysis #97: Commit 749627e pushed by hyperpolymath
40s main
main
40s
fix: correct 'Provably Reversible' claim — proofs are pending, not done CodeQL Security Analysis #96: Commit 5fec81e pushed by hyperpolymath
47s main
main
47s
CodeQL Security Analysis CodeQL Security Analysis #95: Scheduled
42s main
main
42s
feat: add stapeln.toml container definition CodeQL Security Analysis #94: Commit ec2c1a7 pushed by hyperpolymath
17m 8s main
main
17m 8s
chore: deploy UX infrastructure (contractile.just, .well-known, manif… CodeQL Security Analysis #93: Commit 1bc3a7d pushed by hyperpolymath
22m 2s main
main
22m 2s
chore: add gitignore, gitattributes, tool-versions CodeQL Security Analysis #92: Commit 37fe7ab pushed by hyperpolymath
2h 4m 44s main
main
2h 4m 44s