Skip to content

Actions: hyperpolymath/verisimdb

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
516 workflow runs
516 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
docs(V4): design proof_attempts ↔ VQL-DT certificate integration CodeQL Security Analysis #41: Commit 6b984f4 pushed by hyperpolymath
1m 35s main
main
1m 35s
docs(state): bump test count to 788 (workspace rerun) CodeQL Security Analysis #40: Commit a0cda84 pushed by hyperpolymath
1m 14s main
main
1m 14s
docs: update CHANGELOG + STATE for proof_attempts loop + Zig client CodeQL Security Analysis #39: Commit 0ef64b2 pushed by hyperpolymath
1m 17s main
main
1m 17s
feat(crg): add crg-grade and crg-badge justfile recipes CodeQL Security Analysis #38: Commit a176ad5 pushed by hyperpolymath
6h 29m 8s main
main
6h 29m 8s
docs: add M2 estate audit report (2026-04-04) CodeQL Security Analysis #37: Commit 29e7a75 pushed by hyperpolymath
4h 3m 14s main
main
4h 3m 14s
feat: wire conflow config validation pipeline CodeQL Security Analysis #36: Commit 3893a95 pushed by hyperpolymath
3h 51m 56s main
main
3h 51m 56s
chore: add contractile.just runner CodeQL Security Analysis #35: Commit 782f4df pushed by hyperpolymath
2h 13m 51s main
main
2h 13m 51s
chore: add k9iser.toml (Batch 2A) CodeQL Security Analysis #34: Commit 9578228 pushed by hyperpolymath
2h 43m 36s main
main
2h 43m 36s
ci: deploy dogfood-gate, add Groove manifest, K9 contracts, CRG tests CodeQL Security Analysis #33: Commit c0eaee9 pushed by hyperpolymath
1h 51m 26s main
main
1h 51m 26s
docs: substantive CRG C annotation (EXPLAINME.adoc) CodeQL Security Analysis #32: Commit 3f15c7a pushed by hyperpolymath
47m 1s main
main
47m 1s
test: CRG C blitz — E2E, contract, aspect, reflexive, property tests CodeQL Security Analysis #31: Commit 9602733 pushed by hyperpolymath
1m 16s main
main
1m 16s
fix(deps): update lock files to resolve security advisories CodeQL Security Analysis #30: Commit 724a67f pushed by hyperpolymath
1m 41s main
main
1m 41s
Snapshot local work before sync CodeQL Security Analysis #29: Commit a1b04f2 pushed by hyperpolymath
6m 50s main
main
6m 50s
docs: add TEST-NEEDS.md and/or PROOF-NEEDS.md from audit CodeQL Security Analysis #28: Commit 83e3395 pushed by hyperpolymath
13m 57s main
main
13m 57s
fix: replace String.to_atom with String.to_existing_atom CodeQL Security Analysis #27: Commit 634f572 pushed by hyperpolymath
3m 12s main
main
3m 12s
CodeQL Security Analysis CodeQL Security Analysis #26: Scheduled
1m 35s main
main
1m 35s
chore: replace {{project}}/{{PROJECT}} template placeholders with act… CodeQL Security Analysis #25: Commit 27c1047 pushed by hyperpolymath
9m 57s main
main
9m 57s
chore: replace template placeholder in ROADMAP.adoc with project name CodeQL Security Analysis #24: Commit aff525a pushed by hyperpolymath
22m 48s main
main
22m 48s
chore: update Cargo dependencies for security CodeQL Security Analysis #23: Commit 8296006 pushed by hyperpolymath
36m 24s main
main
36m 24s
fix: replace hardcoded panic-attacker path with command lookup CodeQL Security Analysis #22: Commit 0f8bce3 pushed by hyperpolymath
13m 8s main
main
13m 8s
chore: add gitignore, gitattributes, tool-versions CodeQL Security Analysis #21: Commit 4c3bcac pushed by hyperpolymath
2h 13m 28s main
main
2h 13m 28s
chore: add UX infrastructure (quickstart, doctor, setup) CodeQL Security Analysis #20: Commit 2db06b6 pushed by hyperpolymath
1h 15m 48s main
main
1h 15m 48s
Add Green Web Foundation badge (#2) CodeQL Security Analysis #19: Commit 2117438 pushed by hyperpolymath
1m 25s main
main
1m 25s
Add Green Web Foundation badge CodeQL Security Analysis #18: Pull request #2 opened by hyperpolymath
1m 14s add-gwf-badge
add-gwf-badge
1m 14s
chore: add agent_instructions methodology layer CodeQL Security Analysis #17: Commit 0ea5b4b pushed by hyperpolymath
1h 42m 19s main
main
1h 42m 19s
ProTip! You can narrow down the results and go further in time using created:<2026-03-24 or the other filters available.