Skip to content

Actions: hyperpolymath/k9iser

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
161 workflow runs
161 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
Add Layer 2 semantic proof: configs self-validate against K9 contract… CodeQL Security Analysis #136: Commit 7dddd86 pushed by hyperpolymath
51s main
main
51s
ABI Layer 2: prove K9 config-contract validation — flagship Idris2 proof CodeQL Security Analysis #135: Pull request #46 opened by hyperpolymath
46s claude/new-session-znxgm7
claude/new-session-znxgm7
46s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#45) CodeQL Security Analysis #134: Commit 3341266 pushed by hyperpolymath
1h 16m 26s main
main
1h 16m 26s
ci: refresh standards reusable pins to current HEAD (d7c2271) CodeQL Security Analysis #133: Pull request #45 opened by hyperpolymath
1h 17m 14s ci/repin-standards-reusables-d7c2271
ci/repin-standards-reusables-d7c2271
1h 17m 14s
P1: export missing ABI function + add ABI↔FFI gate (#44) CodeQL Security Analysis #132: Commit 5b39570 pushed by hyperpolymath
1m 38s main
main
1m 38s
P1: export missing ABI function + add ABI↔FFI gate CodeQL Security Analysis #131: Pull request #44 opened by hyperpolymath
58s claude/new-session-1fphit
claude/new-session-1fphit
58s
Auto-install pinned Zig toolchain in setup + devcontainer (#43) CodeQL Security Analysis #130: Commit 9332957 pushed by hyperpolymath
4m 54s main
main
4m 54s
Auto-install pinned Zig toolchain in setup + devcontainer CodeQL Security Analysis #129: Pull request #43 opened by hyperpolymath
1m 13s claude/new-session-1fphit
claude/new-session-1fphit
1m 13s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… CodeQL Security Analysis #128: Commit cb0826d pushed by hyperpolymath
1m 22s main
main
1m 22s
ABI: make Idris2 proofs genuinely compile + add machine-checked theorems CodeQL Security Analysis #127: Pull request #42 opened by hyperpolymath
47s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
47s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#41) CodeQL Security Analysis #126: Commit fb79ccc pushed by hyperpolymath
4m 10s main
main
4m 10s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) CodeQL Security Analysis #125: Pull request #41 opened by hyperpolymath
52s claude/iseriser-proofs-review-rtdcwb
claude/iseriser-proofs-review-rtdcwb
52s
docs(readme): convert README.adoc -> Markdown README.md (#40) CodeQL Security Analysis #124: Commit 5c3d52a pushed by hyperpolymath
54m 31s main
main
54m 31s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profile/community-health) CodeQL Security Analysis #123: Pull request #40 opened by hyperpolymath
53m 21s fix/readme-adoc-to-markdown
fix/readme-adoc-to-markdown
53m 21s
chore(clade): backfill [status] lifecycle block (default active) (#38) CodeQL Security Analysis #122: Commit e95a2f4 pushed by hyperpolymath
19h 9m 55s main
main
19h 9m 55s
chore(ci): add dormant push-email notification workflow (#39) CodeQL Security Analysis #121: Commit da5e70e pushed by hyperpolymath
18h 58m 58s main
main
18h 58m 58s
chore(ci): add dormant push-email notification workflow CodeQL Security Analysis #120: Pull request #39 opened by hyperpolymath
12h 3m 37s chore/push-email-notify
chore/push-email-notify
12h 3m 37s
chore(clade): backfill [status] lifecycle block CodeQL Security Analysis #119: Pull request #38 opened by hyperpolymath
12h 0m 49s chore/clade-status-backfill
chore/clade-status-backfill
12h 0m 49s
chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#37) CodeQL Security Analysis #118: Commit 72c0a0d pushed by hyperpolymath
10h 46m 38s main
main
10h 46m 38s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) CodeQL Security Analysis #117: Pull request #37 opened by hyperpolymath
10h 41m 52s chore/licence-normalisation-2026-06-24
chore/licence-normalisation-2026-06-24
10h 41m 52s
chore(ci): bump standards reusable workflow pins to d135b05bfc64 (#36) CodeQL Security Analysis #116: Commit cd16743 pushed by hyperpolymath
3h 2m 44s main
main
3h 2m 44s
chore(ci): bump standards reusable workflow pins CodeQL Security Analysis #115: Pull request #36 opened by hyperpolymath
2h 54m 58s chore/bump-standards-pins-2026-06-24
chore/bump-standards-pins-2026-06-24
2h 54m 58s
chore(nix->guix): remove flake.nix (Guix-only estate policy) (#35) CodeQL Security Analysis #114: Commit 3298cf5 pushed by hyperpolymath
35m 14s main
main
35m 14s
chore(nix->guix): remove flake.nix (Guix-only) CodeQL Security Analysis #113: Pull request #35 opened by hyperpolymath
36m 3s chore/nix-to-guix-2026-06-24
chore/nix-to-guix-2026-06-24
36m 3s
chore: retire local issue/discussion templates -> inherit org .github… CodeQL Security Analysis #112: Commit bb8efbd pushed by hyperpolymath
1h 4m 8s main
main
1h 4m 8s