Skip to content

Actions: hyperpolymath/verisimdb

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
87 workflow runs
87 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 #87: Scheduled
1m 17s main
main
1m 17s
chore(contractiles): k9 → svc/, remove lust dir (ADR-001 2026-04-18) CodeQL Security Analysis #86: Commit c3185a5 pushed by hyperpolymath
52m 32s main
main
52m 32s
CodeQL Security Analysis CodeQL Security Analysis #85: Scheduled
1m 19s main
main
1m 19s
feat(storage): implement WalBackend for durable mutation logging CodeQL Security Analysis #84: Commit 65864f2 pushed by hyperpolymath
1m 22s main
main
1m 22s
build(deps): Bump the cargo group across 1 directory with 2 updates (#4) CodeQL Security Analysis #83: Commit b3170bb pushed by hyperpolymath
1m 16s main
main
1m 16s
build(deps): Bump the cargo group across 1 directory with 2 updates CodeQL Security Analysis #82: Pull request #4 opened by dependabot Bot
1m 4s dependabot/cargo/cargo-c20181c6b7
dependabot/cargo/cargo-c20181c6b7
1m 4s
chore: estate-wide metadata and submodule sync (2026-04-20) CodeQL Security Analysis #81: Commit 235a9df pushed by hyperpolymath
1m 11s main
main
1m 11s
CodeQL Security Analysis CodeQL Security Analysis #80: Scheduled
1m 17s main
main
1m 17s
Standardize workspace: Final recursive synchronization CodeQL Security Analysis #79: Commit e5d1341 pushed by hyperpolymath
4h 30m 21s main
main
4h 30m 21s
chore(contractiles): remove lust (not in 6-verb set: intend trust mus… CodeQL Security Analysis #78: Commit 1d0a6ae pushed by hyperpolymath
4h 12m 40s main
main
4h 12m 40s
Standardize workspace: Capitalize Justfile references in scripts and … CodeQL Security Analysis #77: Commit af27df2 pushed by hyperpolymath
2h 26m 26s main
main
2h 26m 26s
docs(schema): add theorem-alignment RDF/SHACL model for cross-prover … CodeQL Security Analysis #76: Commit a540bb5 pushed by hyperpolymath
1m 9s main
main
1m 9s
chore: VQL -> VCL rename completion (src/vcl/*.res + docs) CodeQL Security Analysis #75: Commit 9b4aaa9 pushed by hyperpolymath
1h 43m 38s main
main
1h 43m 38s
Merge origin/main: LICENSE update with V→v-ecosystem donation move CodeQL Security Analysis #74: Commit c628a89 pushed by hyperpolymath
1h 40m 5s main
main
1h 40m 5s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback CodeQL Security Analysis #73: Commit 937d42c pushed by hyperpolymath
46m 16s main
main
46m 16s
chore: M5 CI/Workflow Sweep - final synchronisation CodeQL Security Analysis #72: Commit 047735e pushed by hyperpolymath
59m 23s main
main
59m 23s
chore: M5 CI/Workflow Sweep - add blockers and contractile.just CodeQL Security Analysis #71: Commit 677edfa pushed by hyperpolymath
18m 53s main
main
18m 53s
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