Skip to content

Actions: hyperpolymath/nextgen-databases

Actions

Guix/Nix Package Policy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
guix-nix-policy.yml
224 workflow runs
224 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(contractiles): k9 → svc/, remove lust dir (ADR-001 2026-04-18) Guix/Nix Package Policy #224: Commit 77781db pushed by hyperpolymath
15m 20s main
main
15m 20s
feat(verisim-api): Phase 1 Step 3 — ?include=embedding byte-exact rou… Guix/Nix Package Policy #223: Commit 3e55b08 pushed by hyperpolymath
10s main
main
10s
chore(deps): bump rustls-webpki (#12) Guix/Nix Package Policy #222: Commit 4d435dd pushed by hyperpolymath
1m 57s main
main
1m 57s
chore(deps): bump rustls-webpki from 0.103.12 to 0.103.13 in /verisimdb in the cargo group across 1 directory Guix/Nix Package Policy #221: Pull request #12 opened by dependabot Bot
1m 20s dependabot/cargo/verisimdb/cargo-8056535635
dependabot/cargo/verisimdb/cargo-8056535635
1m 20s
chore(deps): bump rustls-webpki Guix/Nix Package Policy #220: Commit 1fb0c9a pushed by dependabot Bot
52s dependabot/cargo/verisimdb/cargo-8056535635
dependabot/cargo/verisimdb/cargo-8056535635
52s
chore: estate-wide metadata and submodule sync (2026-04-20) Guix/Nix Package Policy #219: Commit 894a50c pushed by hyperpolymath
12s main
main
12s
refactor(quandledb): extract to top-level monorepo Guix/Nix Package Policy #218: Commit 8507330 pushed by hyperpolymath
5h 6m 44s main
main
5h 6m 44s
chore(contractiles): add bust/ + relocate k9 to svc/ Guix/Nix Package Policy #217: Commit 91e4eb1 pushed by hyperpolymath
4h 24m 16s main
main
4h 24m 16s
chore(contractiles): remove lust (not in 6-verb set: intend trust mus… Guix/Nix Package Policy #216: Commit f922c76 pushed by hyperpolymath
1h 48m 12s main
main
1h 48m 12s
Standardize workspace: Capitalize Justfile references in scripts and … Guix/Nix Package Policy #215: Commit dd7b35e pushed by hyperpolymath
25m 30s main
main
25m 30s
Standardize workspace: Justfile migration and A2ML directive cleanup Guix/Nix Package Policy #214: Commit 11f8541 pushed by hyperpolymath
25s main
main
25s
docs(verisimdb): clarify ProverKind is proven-domain, not an echidna … Guix/Nix Package Policy #213: Commit 2a43dff pushed by hyperpolymath
8s main
main
8s
chore: fill empty .tool-versions from drift inventory (2026-04-17) Guix/Nix Package Policy #212: Commit 82eb090 pushed by hyperpolymath
3m 9s main
main
3m 9s
proof(verisimdb): close V11 (connector type safety / Obj.magic elimin… Guix/Nix Package Policy #211: Commit 95c3867 pushed by hyperpolymath
9s main
main
9s
proof(verisimdb): harden V10 scenario to actually exercise concurrency Guix/Nix Package Policy #210: Commit 2390e52 pushed by hyperpolymath
16s main
main
16s
ci(verisimdb): add TLA+ model-check workflow for V5/V9/V10 Guix/Nix Package Policy #209: Commit a301cef pushed by hyperpolymath
11s main
main
11s
proof(verisimdb): close V10 (transaction serializability) in TLA+ Guix/Nix Package Policy #208: Commit 94aa56f pushed by hyperpolymath
11s main
main
11s
proof(verisimdb): close V9 (normalizer determinism + convergence) in … Guix/Nix Package Policy #207: Commit 81e1d52 pushed by hyperpolymath
25s main
main
25s
proof(verisimdb): close V5 (Octad transaction atomicity) with TLA+/TLC Guix/Nix Package Policy #206: Commit 9d3dfd8 pushed by hyperpolymath
9s main
main
9s
proof(verisimdb): close V1 (Octad coherence invariant) in Idris2 Guix/Nix Package Policy #205: Commit e2e5d9b pushed by hyperpolymath
11s main
main
11s
proof(verisimdb): close V8 (drift metric correctness) in Idris2 Guix/Nix Package Policy #204: Commit 182cc7c pushed by hyperpolymath
12s main
main
12s
chore: Justfile recapitalization + launcher path correction Guix/Nix Package Policy #203: Commit 0b601be pushed by hyperpolymath
11s main
main
11s
chore: sync chore drift (docs, workflows, gitignore, a2ml) Guix/Nix Package Policy #202: Commit 427123e pushed by hyperpolymath
51m 23s main
main
51m 23s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback Guix/Nix Package Policy #201: Commit 2057f31 pushed by hyperpolymath
1h 48m 27s main
main
1h 48m 27s
Merge pull request #11 from hyperpolymath/launcher-keepopen-realign Guix/Nix Package Policy #200: Commit 7e54a21 pushed by hyperpolymath
18m 48s main
main
18m 48s