Skip to content

Actions: hyperpolymath/echidna

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
159 workflow runs
159 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
feat: add RSR artefacts — AI manifest, bot directives, container, lic… CodeQL Security Analysis #147: Commit f04d34d pushed by hyperpolymath
8m 9s main
main
8m 9s
feat: scaffold HOL-o-extension — optional overlay for HOL4 CodeQL Security Analysis #146: Commit 69d5485 pushed by hyperpolymath
7m 55s main
main
7m 55s
Auto-commit: Sync changes [2026-03-05] CodeQL Security Analysis #145: Commit f88f086 pushed by hyperpolymath
25m 52s main
main
25m 52s
Auto-commit: Sync changes [2026-03-03] CodeQL Security Analysis #144: Commit 38a1e65 pushed by hyperpolymath
7m 51s main
main
7m 51s
Fix stale submodule pointers after repo cleanup CodeQL Security Analysis #143: Commit 30227ba pushed by hyperpolymath
7m 23s main
main
7m 23s
Auto-commit: Sync changes [2026-03-02] CodeQL Security Analysis #142: Commit 2911699 pushed by hyperpolymath
9m 9s main
main
9m 9s
CodeQL Security Analysis CodeQL Security Analysis #141: Scheduled
7m 29s main
main
7m 29s
fix: RSR compliance — license, author, badges, CODEOWNERS, .well-known CodeQL Security Analysis #140: Commit c0c5cfa pushed by hyperpolymath
7m 28s main
main
7m 28s
Auto-commit: Sync changes [2026-02-24] CodeQL Security Analysis #139: Commit 298015b pushed by hyperpolymath
12m 33s main
main
12m 33s
CodeQL Security Analysis CodeQL Security Analysis #138: Scheduled
7m 22s main
main
7m 22s
chore(deps): bump bytes from 1.11.0 to 1.11.1 in the cargo group acro… CodeQL Security Analysis #137: Commit 62ce32d pushed by hyperpolymath
22m 43s main
main
22m 43s
chore(deps): bump bytes from 1.11.0 to 1.11.1 in the cargo group across 1 directory CodeQL Security Analysis #136: Pull request #5 synchronize by hyperpolymath
20m 58s dependabot/cargo/cargo-f6ecf5c85a
dependabot/cargo/cargo-f6ecf5c85a
20m 58s
CodeQL Security Analysis CodeQL Security Analysis #135: Scheduled
6m 49s main
main
6m 49s