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
Scorecards supply-chain security Scorecards supply-chain security #247: Scheduled
3h 49m 36s main
main
3h 49m 36s
refactor(quandledb): extract to top-level monorepo Scorecards supply-chain security #246: Commit 8507330 pushed by hyperpolymath
5h 7m 24s main
main
5h 7m 24s
chore(contractiles): add bust/ + relocate k9 to svc/ Scorecards supply-chain security #245: Commit 91e4eb1 pushed by hyperpolymath
4h 22m 17s main
main
4h 22m 17s
chore(contractiles): remove lust (not in 6-verb set: intend trust mus… Scorecards supply-chain security #244: Commit f922c76 pushed by hyperpolymath
1h 42m 41s main
main
1h 42m 41s
Standardize workspace: Capitalize Justfile references in scripts and … Scorecards supply-chain security #243: Commit dd7b35e pushed by hyperpolymath
11m 20s main
main
11m 20s
Standardize workspace: Justfile migration and A2ML directive cleanup Scorecards supply-chain security #242: Commit 11f8541 pushed by hyperpolymath
2m 13s main
main
2m 13s
Scorecards supply-chain security Scorecards supply-chain security #241: Scheduled
25s main
main
25s
docs(verisimdb): clarify ProverKind is proven-domain, not an echidna … Scorecards supply-chain security #240: Commit 2a43dff pushed by hyperpolymath
34s main
main
34s
chore: fill empty .tool-versions from drift inventory (2026-04-17) Scorecards supply-chain security #239: Commit 82eb090 pushed by hyperpolymath
3m 44s main
main
3m 44s
proof(verisimdb): close V11 (connector type safety / Obj.magic elimin… Scorecards supply-chain security #238: Commit 95c3867 pushed by hyperpolymath
32s main
main
32s
proof(verisimdb): harden V10 scenario to actually exercise concurrency Scorecards supply-chain security #237: Commit 2390e52 pushed by hyperpolymath
24s main
main
24s
ci(verisimdb): add TLA+ model-check workflow for V5/V9/V10 Scorecards supply-chain security #236: Commit a301cef pushed by hyperpolymath
33s main
main
33s
proof(verisimdb): close V10 (transaction serializability) in TLA+ Scorecards supply-chain security #235: Commit 94aa56f pushed by hyperpolymath
30s main
main
30s
proof(verisimdb): close V9 (normalizer determinism + convergence) in … Scorecards supply-chain security #234: Commit 81e1d52 pushed by hyperpolymath
33s main
main
33s
proof(verisimdb): close V5 (Octad transaction atomicity) with TLA+/TLC Scorecards supply-chain security #233: Commit 9d3dfd8 pushed by hyperpolymath
24s main
main
24s
proof(verisimdb): close V1 (Octad coherence invariant) in Idris2 Scorecards supply-chain security #232: Commit e2e5d9b pushed by hyperpolymath
25s main
main
25s
proof(verisimdb): close V8 (drift metric correctness) in Idris2 Scorecards supply-chain security #231: Commit 182cc7c pushed by hyperpolymath
23s main
main
23s
chore: Justfile recapitalization + launcher path correction Scorecards supply-chain security #230: Commit 0b601be pushed by hyperpolymath
47s main
main
47s
chore: sync chore drift (docs, workflows, gitignore, a2ml) Scorecards supply-chain security #229: Commit 427123e pushed by hyperpolymath
49m 16s main
main
49m 16s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback Scorecards supply-chain security #228: Commit 2057f31 pushed by hyperpolymath
1h 44m 53s main
main
1h 44m 53s
Merge pull request #11 from hyperpolymath/launcher-keepopen-realign Scorecards supply-chain security #227: Commit 7e54a21 pushed by hyperpolymath
13m 39s main
main
13m 39s
Scorecards supply-chain security Scorecards supply-chain security #226: Scheduled
23s main
main
23s
Scorecards supply-chain security Scorecards supply-chain security #225: Scheduled
30s main
main
30s
chore: M5 CI/Workflow Sweep - final synchronisation Scorecards supply-chain security #224: Commit 6e9d91a pushed by hyperpolymath
25m 9s main
main
25m 9s
chore: M5 CI/Workflow Sweep - add blockers and contractile.just Scorecards supply-chain security #223: Commit 63296cc pushed by hyperpolymath
40s main
main
40s