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
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
chore: remove crash capture artifacts, update .gitignore CodeQL Security Analysis #134: Commit 757e32c pushed by hyperpolymath
23m 53s main
main
23m 53s
docs: add session entry for workflow automation, note GitLab divergence CodeQL Security Analysis #133: Commit 0cba626 pushed by hyperpolymath
7m 35s main
main
7m 35s
feat: pass VERISIMDB_PAT to scan-and-report workflow CodeQL Security Analysis #132: Commit 5856de2 pushed by hyperpolymath
7m 31s main
main
7m 31s
feat: add OPSM to echidna ecosystem (community-tools) CodeQL Security Analysis #131: Commit e622a19 pushed by hyperpolymath
6m 41s main
main
6m 41s
docs: add dot files/folders verification status CodeQL Security Analysis #130: Commit 20750d8 pushed by hyperpolymath
7m 0s main
main
7m 0s
chore: update machine-readable STATE.scm and remove root SCM duplicates CodeQL Security Analysis #129: Commit 07b5f5e pushed by hyperpolymath
7m 50s main
main
7m 50s
release: v1.5.0 - Trust & Safety + Fleet Integration CodeQL Security Analysis #128: Commit dac1ad9 pushed by hyperpolymath
7m 0s main
main
7m 0s
feat: add performance benchmarks for prover backend creation CodeQL Security Analysis #127: Commit 4e9c81d pushed by hyperpolymath
7m 23s main
main
7m 23s
security: add comprehensive safety documentation for unsafe blocks CodeQL Security Analysis #126: Commit 4137890 pushed by hyperpolymath
7m 4s main
main
7m 4s
docs: update SONNET-TASKS.md with v1.5 completion verification CodeQL Security Analysis #125: Commit 945a523 pushed by hyperpolymath
7m 0s main
main
7m 0s
Auto-commit: Sync changes [2026-02-10] CodeQL Security Analysis #124: Commit 97cde50 pushed by hyperpolymath
7m 14s main
main
7m 14s
CodeQL Security Analysis CodeQL Security Analysis #123: Scheduled
7m 14s main
main
7m 14s
ProTip! You can narrow down the results and go further in time using created:<2026-02-09 or the other filters available.