Skip to content

Actions: hyperpolymath/nextgen-databases

Actions

CodeQL Security Analysis

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
codeql.yml
421 workflow runs
421 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
chore(6a2): update verisimdb STATE for proof_attempts API session CodeQL Security Analysis #146: Commit fefeab0 pushed by hyperpolymath
2m 8s main
main
2m 8s
feat(verisim-api): add proof_attempts REST endpoints for Hypatia pipe… CodeQL Security Analysis #145: Commit 0404ad7 pushed by hyperpolymath
1m 27s main
main
1m 27s
feat(tropical-bridge): wire Isabelle tropical proofs into VCL ProofCo… CodeQL Security Analysis #144: Commit 35bd93b pushed by hyperpolymath
1m 24s main
main
1m 24s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred CodeQL Security Analysis #143: Commit d562fc1 pushed by hyperpolymath
1h 1m 37s main
main
1h 1m 37s
chore(nqc/launcher): regenerate for launch-scaffolder provision deleg… CodeQL Security Analysis #142: Commit 3685bc2 pushed by hyperpolymath
1m 46s main
main
1m 46s
feat(nqc/launcher): migrate to launch-scaffolder (process kind) CodeQL Security Analysis #141: Commit 48851f9 pushed by hyperpolymath
1m 31s main
main
1m 31s
chore: automated sync of local changes CodeQL Security Analysis #140: Commit 4774c56 pushed by hyperpolymath
1m 21s main
main
1m 21s
chore: sync local state and update contractiles CodeQL Security Analysis #139: Commit cb75a75 pushed by hyperpolymath
1m 19s main
main
1m 19s
Update README.adoc CodeQL Security Analysis #138: Pull request #10 opened by hyperpolymath
59s hyperpolymath-patch-1
hyperpolymath-patch-1
59s
Update README.adoc (#10) CodeQL Security Analysis #137: Commit fbac968 pushed by hyperpolymath
1m 19s main
main
1m 19s
CodeQL Security Analysis CodeQL Security Analysis #136: Scheduled
1m 14s main
main
1m 14s
feat(verisim-core): productise VerisimCore as shippable Julia package CodeQL Security Analysis #135: Commit c7bab75 pushed by hyperpolymath
1m 30s main
main
1m 30s
feat(verisim-modular-experiment): Phase 4+5 closure — experiment closed CodeQL Security Analysis #134: Commit b744433 pushed by hyperpolymath
1m 28s main
main
1m 28s
docs(quandledb): add CHANGELOG + docstrings for QuandleSemantic publi… CodeQL Security Analysis #133: Commit 240d8ca pushed by hyperpolymath
1m 32s main
main
1m 32s
feat(verisim-modular-experiment): Ed25519, multi-peer, VCL subset CodeQL Security Analysis #132: Commit d83e81e pushed by hyperpolymath
1m 17s main
main
1m 17s
docs(verisim-modular-experiment): mark 6→8 regen foldback APPLIED CodeQL Security Analysis #131: Commit 7ac61e8 pushed by hyperpolymath
3m 18s main
main
3m 18s
feat(verisim-modular-experiment): Phase 3 runtime validation of Path B CodeQL Security Analysis #130: Commit f7fc0e4 pushed by hyperpolymath
1m 19s main
main
1m 19s
docs(quandledb): add EXPLAINME, TEST-NEEDS, PROOF-NEEDS CodeQL Security Analysis #129: Commit 4c74d07 pushed by hyperpolymath
1m 33s main
main
1m 33s
docs(verisim-modular-experiment): mark renormalisation foldback APPLIED CodeQL Security Analysis #128: Commit 07bca08 pushed by hyperpolymath
1m 26s main
main
1m 26s
docs(verisim-modular-experiment): note KRLAdapter.jl Phase 4 prep CodeQL Security Analysis #127: Commit f270f40 pushed by hyperpolymath
1m 11s main
main
1m 11s
docs(quandledb): add CRG v2 READINESS.md (grade D) CodeQL Security Analysis #126: Commit aff5549 pushed by hyperpolymath
2m 15s main
main
2m 15s
chore: absorb quandledb into monorepo + align with KRL stack CodeQL Security Analysis #125: Commit 88bce1d pushed by hyperpolymath
1m 22s main
main
1m 22s
feat(crg): add crg-grade and crg-badge justfile recipes CodeQL Security Analysis #124: Commit c94c8fb pushed by hyperpolymath
5h 59m 49s main
main
5h 59m 49s
docs: note Groove manifest in nqc sub-service CodeQL Security Analysis #123: Commit 2edacb1 pushed by hyperpolymath
5h 10m 57s main
main
5h 10m 57s
chore: update eclexiaiser.toml with real function entries CodeQL Security Analysis #122: Commit 6f62171 pushed by hyperpolymath
5h 7m 11s main
main
5h 7m 11s
ProTip! You can narrow down the results and go further in time using created:<2026-04-04 or the other filters available.