Skip to content

Actions: hyperpolymath/echidna

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
1,197 workflow runs
1,197 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
migrate: .scm → .a2ml state files in .machine_readable/ CodeQL Security Analysis #172: Commit fbd950c pushed by hyperpolymath
6h 40m 16s main
main
6h 40m 16s
fix: correct email jonathan.jewell → j.d.a.jewell CodeQL Security Analysis #171: Commit 2e32866 pushed by hyperpolymath
5h 42m 33s main
main
5h 42m 33s
fix: global AGPL-3.0-or-later → PMPL-1.0-or-later replacement CodeQL Security Analysis #170: Commit 211f270 pushed by hyperpolymath
4h 28m 47s main
main
4h 28m 47s
fix: update dependencies to resolve Dependabot alerts CodeQL Security Analysis #169: Commit 00e35dd pushed by hyperpolymath
4h 6m 26s main
main
4h 6m 26s
fix: SPDX headers (AGPL→PMPL), email, author name CodeQL Security Analysis #168: Commit eff4ae6 pushed by hyperpolymath
2h 50m 9s main
main
2h 50m 9s
SHA-pin GitHub Actions and upgrade deprecated checkout versions CodeQL Security Analysis #167: Commit f7c11e9 pushed by hyperpolymath
1h 26m 37s main
main
1h 26m 37s
Fix SPDX headers: AGPL-3.0-or-later → PMPL-1.0-or-later CodeQL Security Analysis #166: Commit 453b8c1 pushed by hyperpolymath
51m 14s main
main
51m 14s
Replace RSR template placeholders with actual values CodeQL Security Analysis #165: Commit 34b182e pushed by hyperpolymath
16m 53s main
main
16m 53s
refactor: RSR-compliant root cleanup — move 30+ docs, delete 17 junk … CodeQL Security Analysis #164: Commit 8719bce pushed by hyperpolymath
8m 20s main
main
8m 20s
refactor: migrate 6SCM → 6A2 (.scm → .a2ml format) CodeQL Security Analysis #163: Commit 45476e2 pushed by hyperpolymath
18m 8s main
main
18m 8s
fix(license): SPDX AGPL-3.0 → PMPL-1.0-or-later in dotfiles CodeQL Security Analysis #162: Commit 1d99fbc pushed by hyperpolymath
20m 51s main
main
20m 51s
Standardise license setup: MPL-2.0 + PMPL-1.0-or-later (REUSE) CodeQL Security Analysis #161: Commit ddaef3b pushed by hyperpolymath
13m 46s main
main
13m 46s
CodeQL Security Analysis CodeQL Security Analysis #160: Scheduled
7m 46s main
main
7m 46s
docs: update ECOSYSTEM.scm and STATE.scm for tentacles FFI/ABI CodeQL Security Analysis #159: Commit fdc45bf pushed by hyperpolymath
8m 10s main
main
8m 10s
feat: add 7-Tentacles FFI/ABI layer for standalone compiler agent access CodeQL Security Analysis #158: Commit 9869f4b pushed by hyperpolymath
7m 45s main
main
7m 45s
feat: complete FFI/ABI gap analysis — Idris2 proofs, Zig FFI, C heade… CodeQL Security Analysis #157: Commit ea82c18 pushed by hyperpolymath
7m 56s main
main
7m 56s
feat: rewrite ABI/FFI layers + add V-lang triple API adapter CodeQL Security Analysis #156: Commit d61ae6b pushed by hyperpolymath
7m 58s main
main
7m 58s
fix(container): remove broken COPY redirections and missing vendor/ s… CodeQL Security Analysis #155: Commit a7cb17b pushed by hyperpolymath
8m 7s main
main
8m 7s
fix(container): fix Containerfile.full — replace Chainguard with debi… CodeQL Security Analysis #154: Commit 9609004 pushed by hyperpolymath
7m 59s main
main
7m 59s
fix(container): install nightly Rust for deps requiring 1.86+ CodeQL Security Analysis #153: Commit ca552e3 pushed by hyperpolymath
7m 43s main
main
7m 43s
fix(container): handle missing Idris2 prebuilt binaries gracefully CodeQL Security Analysis #152: Commit 899e601 pushed by hyperpolymath
8m 4s main
main
8m 4s
fix(container): replace all Chainguard stages with debian/rust images CodeQL Security Analysis #151: Commit 00e7492 pushed by hyperpolymath
8m 24s main
main
8m 24s
fix(container): use rust:1.85-slim and debian for build stages CodeQL Security Analysis #150: Commit 4f90ef5 pushed by hyperpolymath
8m 1s main
main
8m 1s
chore: hypatia auto-fix (21 formulaic fixes) CodeQL Security Analysis #149: Commit 06c8148 pushed by hyperpolymath
16m 48s main
main
16m 48s
chore(HOL-o-extension): mark aggregate-library peer as active CodeQL Security Analysis #148: Commit 182cc9e pushed by hyperpolymath
7m 54s main
main
7m 54s
ProTip! You can narrow down the results and go further in time using created:<2026-03-08 or the other filters available.