Skip to content

Actions: hyperpolymath/verisimdb

Actions

.github/workflows/security-scan.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
security-scan.yml
73 workflow runs
73 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: VQL -> VCL rename completion (src/vcl/*.res + docs) .github/workflows/security-scan.yml #73: Commit 9b4aaa9 pushed by hyperpolymath
Failure main
main
Failure
Merge origin/main: LICENSE update with V→v-ecosystem donation move .github/workflows/security-scan.yml #72: Commit c628a89 pushed by hyperpolymath
Failure main
main
Failure
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback .github/workflows/security-scan.yml #71: Commit 937d42c pushed by hyperpolymath
Failure main
main
Failure
chore: M5 CI/Workflow Sweep - final synchronisation .github/workflows/security-scan.yml #70: Commit 047735e pushed by hyperpolymath
-1s main
main
-1s
chore: M5 CI/Workflow Sweep - add blockers and contractile.just .github/workflows/security-scan.yml #69: Commit 677edfa pushed by hyperpolymath
-1s main
main
-1s
.github/workflows/security-scan.yml .github/workflows/security-scan.yml #68: Scheduled
Failure main
main
Failure
feat(deploy): add panic-attack dedicated verisim-api instance .github/workflows/security-scan.yml #67: Commit 8e59535 pushed by hyperpolymath
Failure main
main
Failure
chore(v-lang): deprecate V-lang VerisimDB client — estate ban 2026-04-10 .github/workflows/security-scan.yml #66: Commit a223f30 pushed by hyperpolymath
Failure main
main
Failure
chore(.machine_readable): convert 6a2 checkpoint files from Scheme to… .github/workflows/security-scan.yml #65: Commit 22db8b8 pushed by hyperpolymath
Failure main
main
Failure
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred .github/workflows/security-scan.yml #64: Commit a9c52e8 pushed by hyperpolymath
Failure main
main
Failure
Fix Tantivy 0.26 build break and add cargo-audit CI .github/workflows/security-scan.yml #63: Commit 124f148 pushed by JoshuaJewell
Failure claude/analyze-repo-improvements-3MxNw
claude/analyze-repo-improvements-3MxNw
Failure
chore: automated sync of local changes .github/workflows/security-scan.yml #62: Commit 55ec903 pushed by hyperpolymath
Failure main
main
Failure
chore: add aqueduct.a2ml integration spec .github/workflows/security-scan.yml #61: Commit 4640c26 pushed by hyperpolymath
Failure main
main
Failure
feat(api): W10+W11 — Prometheus metrics + per-prover temporal trend .github/workflows/security-scan.yml #60: Commit f5822e1 pushed by hyperpolymath
Failure main
main
Failure
feat(schema): W8+W9 — cert decay (30-day window) + revocation detection .github/workflows/security-scan.yml #59: Commit 58aaec4 pushed by hyperpolymath
Failure main
main
Failure
feat(api): W6+W7 — row-level GET /proof_attempts with filters .github/workflows/security-scan.yml #58: Commit 77446fe pushed by hyperpolymath
Failure main
main
Failure
feat(abi): N6 — Idris2 ProofAttempts ABI with typed ObligationClass .github/workflows/security-scan.yml #57: Commit a4b5453 pushed by hyperpolymath
Failure main
main
Failure
feat(api): N5 — /api/v1/proof_attempts/coverage cross-repo breakdown .github/workflows/security-scan.yml #56: Commit b660778 pushed by hyperpolymath
Failure main
main
Failure
docs: update federation-readiness to reflect 8 regeneration strategies .github/workflows/security-scan.yml #55: Commit cb4ca76 pushed by hyperpolymath
Failure main
main
Failure
docs: update CHANGELOG + STATE.a2ml for 2026-04-05 session .github/workflows/security-scan.yml #54: Commit d8bf79e pushed by hyperpolymath
Failure main
main
Failure
docs(formal-model): add weight renormalisation remark to def:agg-drift .github/workflows/security-scan.yml #53: Commit a040713 pushed by hyperpolymath
Failure main
main
Failure
docs(spec): V4g — VCL-SPEC documents PROVEN + SANCTIFY proof types .github/workflows/security-scan.yml #52: Commit 9445eec pushed by hyperpolymath
Failure main
main
Failure
refactor(prose): VCL Step 3 phase 3a — read/write intent query phrases .github/workflows/security-scan.yml #51: Commit da46c06 pushed by hyperpolymath
Failure main
main
Failure
refactor: VCL Step 5 — -ut → -total in VCL dialect identifier .github/workflows/security-scan.yml #50: Commit bc2caca pushed by hyperpolymath
Failure main
main
Failure
refactor(prose+verbs): VCL Step 3 phase 2 + Step 4 .github/workflows/security-scan.yml #49: Commit 56e877a pushed by hyperpolymath
Failure main
main
Failure