Skip to content

Actions: hyperpolymath/januskey

Actions

Code Quality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
quality.yml
190 workflow runs
190 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 Code Quality #190: Commit 59c1601 pushed by hyperpolymath
46m 9s main
main
46m 9s
feat(crg): add crg-grade and crg-badge justfile recipes Code Quality #189: Commit ca10100 pushed by hyperpolymath
5h 47m 27s main
main
5h 47m 27s
feat(crg): add Current Grade badge anchor to READINESS.md Code Quality #188: Commit 1c6ad5b pushed by hyperpolymath
5h 16m 57s main
main
5h 16m 57s
docs: add M2 estate audit report (2026-04-04) Code Quality #187: Commit 49b855b pushed by hyperpolymath
4h 0m 16s main
main
4h 0m 16s
chore: add k9 Kennel guard for security invariants Code Quality #186: Commit c110c1c pushed by hyperpolymath
2h 6m 29s main
main
2h 6m 29s
feat: add idrisiser Idris2 proof wrappers for JanusKey cryptographic … Code Quality #185: Commit 07cd404 pushed by hyperpolymath
2h 8m 11s main
main
2h 8m 11s
chore: add k9iser.toml (Batch 2A) Code Quality #184: Commit b82237b pushed by hyperpolymath
2h 42m 13s main
main
2h 42m 13s
ci: deploy dogfood-gate, add Groove manifest, K9 contracts, CRG tests Code Quality #183: Commit fd68c9c pushed by hyperpolymath
1h 52m 52s main
main
1h 52m 52s
docs: substantive CRG C annotation (EXPLAINME.adoc) Code Quality #182: Commit c81c48e pushed by hyperpolymath
28m 2s main
main
28m 2s
CRG blitz D→C: comprehensive test coverage for januskey Code Quality #181: Commit aca31f4 pushed by hyperpolymath
32s main
main
32s
feat: blitz — wire all tests, add property-based + regression, fix be… Code Quality #180: Commit 51ad406 pushed by hyperpolymath
18s main
main
18s
Add casket pages workflow Code Quality #179: Commit 535bebd pushed by hyperpolymath
31m 40s main
main
31m 40s
fix: replace 60 unwrap() calls with expect() in security-critical mod… Code Quality #178: Commit eebc8f0 pushed by hyperpolymath
17s main
main
17s
fix: quote $$ and use printf in setup.sh Code Quality #177: Commit 50b2982 pushed by hyperpolymath
23s main
main
23s
ci: add E2E + aspect + bench + Zig FFI + panic-attack workflow Code Quality #176: Commit 6b9a260 pushed by hyperpolymath
28s main
main
28s
feat: add E2E, P2P, aspect tests + criterion benchmarks Code Quality #175: Commit 32986f6 pushed by hyperpolymath
15s main
main
15s
feat: add Zig FFI implementation + C header + integration tests Code Quality #174: Commit 9cfec7c pushed by hyperpolymath
19s main
main
19s
feat: complete Idris2 ABI — Foreign.idr + Proofs.idr Code Quality #173: Commit 29f5a56 pushed by hyperpolymath
13s main
main
13s
feat: add Idris2 ABI proofs — TypeLL Levels 1-12 Code Quality #172: Commit 749627e pushed by hyperpolymath
25s main
main
25s
fix: correct 'Provably Reversible' claim — proofs are pending, not done Code Quality #171: Commit 5fec81e pushed by hyperpolymath
17s main
main
17s
feat: add stapeln.toml container definition Code Quality #170: Commit ec2c1a7 pushed by hyperpolymath
16m 58s main
main
16m 58s
chore: deploy UX infrastructure (contractile.just, .well-known, manif… Code Quality #169: Commit 1bc3a7d pushed by hyperpolymath
22m 36s main
main
22m 36s
chore: add gitignore, gitattributes, tool-versions Code Quality #168: Commit 37fe7ab pushed by hyperpolymath
2h 6m 14s main
main
2h 6m 14s
chore: add UX infrastructure (quickstart, doctor, setup) Code Quality #167: Commit 126d4c8 pushed by hyperpolymath
48m 13s main
main
48m 13s
Merge branch 'chore/cicd-optimizations' Code Quality #166: Commit 9aceff2 pushed by hyperpolymath
27s main
main
27s