Skip to content

Actions: hyperpolymath/nextgen-databases

Actions

Scorecards supply-chain security

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
scorecard.yml
347 workflow runs
347 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(state): mark 100% complete, clear next-actions Scorecards supply-chain security #197: Commit 9b85352 pushed by hyperpolymath
30s main
main
30s
chore(cli): gitignore Zig build artifacts, rm cached cache+out Scorecards supply-chain security #196: Commit 0a80117 pushed by hyperpolymath
30s main
main
30s
feat(pkg): promote verisim-modular-experiment to shippable Julia package Scorecards supply-chain security #195: Commit cc38b06 pushed by hyperpolymath
31s main
main
31s
feat(riii): wire _riii_neighbors via KnotTheory.jl r3_simplify Scorecards supply-chain security #194: Commit 7bfd6d6 pushed by hyperpolymath
40s main
main
40s
fix(p3): update stale Rust API consumers + fix KRaft flaky tests Scorecards supply-chain security #193: Commit 327c493 pushed by hyperpolymath
25s main
main
25s
feat(vcl/tropical): ProofOptimalAssignment clause + TropicalDetermina… Scorecards supply-chain security #192: Commit 15b19cc pushed by hyperpolymath
21s main
main
21s
fix(p1): VCLTypeChecker ArgumentError + null-byte sanitisation in VCL… Scorecards supply-chain security #191: Commit ab29f77 pushed by hyperpolymath
25s main
main
25s
refactor(rename): VQL → VCL (VeriSim Consonance Language) — complete … Scorecards supply-chain security #190: Commit 5cbd874 pushed by hyperpolymath
29s main
main
29s
chore(contractiles): delete root contractiles/ + fix Trustfille.a2ml … Scorecards supply-chain security #189: Commit 999ce70 pushed by hyperpolymath
1m 31s main
main
1m 31s
chore(6a2+a2ml): mark bellman_ford CLOSED; complete lithoglyph 6a2 sw… Scorecards supply-chain security #188: Commit 927b676 pushed by hyperpolymath
21s main
main
21s
chore(6a2): commit 6a2 sweep — lithoglyph, quandledb, typeql-exp, ver… Scorecards supply-chain security #187: Commit f200330 pushed by hyperpolymath
51s main
main
51s
feat(tropical-bridge): wire KnotTheory.jl RII into TangleGraph v0.2 Scorecards supply-chain security #186: Commit 3b75ecf pushed by hyperpolymath
1m 18s main
main
1m 18s
chore(6a2): update verisimdb STATE for proof_attempts API session Scorecards supply-chain security #185: Commit fefeab0 pushed by hyperpolymath
29s main
main
29s
feat(verisim-api): add proof_attempts REST endpoints for Hypatia pipe… Scorecards supply-chain security #184: Commit 0404ad7 pushed by hyperpolymath
46s main
main
46s
feat(tropical-bridge): wire Isabelle tropical proofs into VCL ProofCo… Scorecards supply-chain security #183: Commit 35bd93b pushed by hyperpolymath
25s main
main
25s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred Scorecards supply-chain security #182: Commit d562fc1 pushed by hyperpolymath
1h 5m 17s main
main
1h 5m 17s
Scorecards supply-chain security Scorecards supply-chain security #181: Scheduled
24s main
main
24s
chore(nqc/launcher): regenerate for launch-scaffolder provision deleg… Scorecards supply-chain security #180: Commit 3685bc2 pushed by hyperpolymath
1m 34s main
main
1m 34s
feat(nqc/launcher): migrate to launch-scaffolder (process kind) Scorecards supply-chain security #179: Commit 48851f9 pushed by hyperpolymath
42s main
main
42s
Scorecards supply-chain security Scorecards supply-chain security #178: Scheduled
26s main
main
26s
chore: automated sync of local changes Scorecards supply-chain security #177: Commit 4774c56 pushed by hyperpolymath
26s main
main
26s
Scorecards supply-chain security Scorecards supply-chain security #176: Scheduled
23s main
main
23s
chore: sync local state and update contractiles Scorecards supply-chain security #175: Commit cb75a75 pushed by hyperpolymath
34s main
main
34s
Update README.adoc (#10) Scorecards supply-chain security #174: Commit fbac968 pushed by hyperpolymath
28s main
main
28s
Scorecards supply-chain security Scorecards supply-chain security #173: Scheduled
26s main
main
26s