Skip to content

Actions: hyperpolymath/verisimdb

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
70 workflow runs
70 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
CodeQL Security Analysis CodeQL Security Analysis #70: Scheduled
1m 12s main
main
1m 12s
feat(deploy): add panic-attack dedicated verisim-api instance CodeQL Security Analysis #69: Commit 8e59535 pushed by hyperpolymath
1m 35s main
main
1m 35s
chore(v-lang): deprecate V-lang VerisimDB client — estate ban 2026-04-10 CodeQL Security Analysis #68: Commit a223f30 pushed by hyperpolymath
1m 21s main
main
1m 21s
chore(.machine_readable): convert 6a2 checkpoint files from Scheme to… CodeQL Security Analysis #67: Commit 22db8b8 pushed by hyperpolymath
1h 54m 5s main
main
1h 54m 5s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred CodeQL Security Analysis #66: Commit a9c52e8 pushed by hyperpolymath
1h 49m 59s main
main
1h 49m 59s
Fix Tantivy 0.26 build break and add cargo-audit CI CodeQL Security Analysis #65: Commit 124f148 pushed by JoshuaJewell
1m 25s main
main
1m 25s
chore: automated sync of local changes CodeQL Security Analysis #64: Commit 55ec903 pushed by hyperpolymath
31m 45s main
main
31m 45s
chore: add aqueduct.a2ml integration spec CodeQL Security Analysis #63: Commit 4640c26 pushed by hyperpolymath
1m 27s main
main
1m 27s
CodeQL Security Analysis CodeQL Security Analysis #62: Scheduled
1m 9s main
main
1m 9s
feat(api): W10+W11 — Prometheus metrics + per-prover temporal trend CodeQL Security Analysis #61: Commit f5822e1 pushed by hyperpolymath
1m 16s main
main
1m 16s
feat(schema): W8+W9 — cert decay (30-day window) + revocation detection CodeQL Security Analysis #60: Commit 58aaec4 pushed by hyperpolymath
1m 18s main
main
1m 18s
feat(api): W6+W7 — row-level GET /proof_attempts with filters CodeQL Security Analysis #59: Commit 77446fe pushed by hyperpolymath
1m 20s main
main
1m 20s
feat(abi): N6 — Idris2 ProofAttempts ABI with typed ObligationClass CodeQL Security Analysis #58: Commit a4b5453 pushed by hyperpolymath
1m 34s main
main
1m 34s
feat(api): N5 — /api/v1/proof_attempts/coverage cross-repo breakdown CodeQL Security Analysis #57: Commit b660778 pushed by hyperpolymath
1m 13s main
main
1m 13s
docs: update federation-readiness to reflect 8 regeneration strategies CodeQL Security Analysis #56: Commit cb4ca76 pushed by hyperpolymath
4m 0s main
main
4m 0s
docs: update CHANGELOG + STATE.a2ml for 2026-04-05 session CodeQL Security Analysis #55: Commit d8bf79e pushed by hyperpolymath
1m 21s main
main
1m 21s
docs(formal-model): add weight renormalisation remark to def:agg-drift CodeQL Security Analysis #54: Commit a040713 pushed by hyperpolymath
1m 11s main
main
1m 11s
docs(spec): V4g — VCL-SPEC documents PROVEN + SANCTIFY proof types CodeQL Security Analysis #53: Commit 9445eec pushed by hyperpolymath
1m 26s main
main
1m 26s
refactor(prose): VCL Step 3 phase 3a — read/write intent query phrases CodeQL Security Analysis #52: Commit da46c06 pushed by hyperpolymath
1m 46s main
main
1m 46s
refactor: VCL Step 5 — -ut → -total in VCL dialect identifier CodeQL Security Analysis #51: Commit bc2caca pushed by hyperpolymath
1m 23s main
main
1m 23s
refactor(prose+verbs): VCL Step 3 phase 2 + Step 4 CodeQL Security Analysis #50: Commit 56e877a pushed by hyperpolymath
1m 14s main
main
1m 14s
chore: gitignore backup/ dumps CodeQL Security Analysis #49: Commit e247f87 pushed by hyperpolymath
1m 9s main
main
1m 9s
refactor(prose): VCL Step 3 phase 1 — unambiguous query phrase replac… CodeQL Security Analysis #48: Commit ad71733 pushed by hyperpolymath
1m 12s main
main
1m 12s
refactor(rename): VQL → VCL + verisimdb → verisim CodeQL Security Analysis #47: Commit a23d3d9 pushed by hyperpolymath
1m 17s main
main
1m 17s
fix(verisim-api): bracket IPv6 hosts in socket addresses CodeQL Security Analysis #46: Commit e8ee0eb pushed by hyperpolymath
1m 26s main
main
1m 26s