Skip to content

Actions: hyperpolymath/nextgen-databases

Actions

.github/workflows/workflow-linter.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
workflow-linter.yml
153 workflow runs
153 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
refactor(quandledb): extract to top-level monorepo .github/workflows/workflow-linter.yml #153: Commit 8507330 pushed by hyperpolymath
Failure main
main
Failure
chore(contractiles): add bust/ + relocate k9 to svc/ .github/workflows/workflow-linter.yml #152: Commit 91e4eb1 pushed by hyperpolymath
Failure main
main
Failure
chore(contractiles): remove lust (not in 6-verb set: intend trust mus… .github/workflows/workflow-linter.yml #151: Commit f922c76 pushed by hyperpolymath
Failure main
main
Failure
Standardize workspace: Capitalize Justfile references in scripts and … .github/workflows/workflow-linter.yml #150: Commit dd7b35e pushed by hyperpolymath
Failure main
main
Failure
Standardize workspace: Justfile migration and A2ML directive cleanup .github/workflows/workflow-linter.yml #149: Commit 11f8541 pushed by hyperpolymath
Failure main
main
Failure
docs(verisimdb): clarify ProverKind is proven-domain, not an echidna … .github/workflows/workflow-linter.yml #148: Commit 2a43dff pushed by hyperpolymath
Failure main
main
Failure
chore: fill empty .tool-versions from drift inventory (2026-04-17) .github/workflows/workflow-linter.yml #147: Commit 82eb090 pushed by hyperpolymath
Failure main
main
Failure
proof(verisimdb): close V11 (connector type safety / Obj.magic elimin… .github/workflows/workflow-linter.yml #146: Commit 95c3867 pushed by hyperpolymath
Failure main
main
Failure
proof(verisimdb): harden V10 scenario to actually exercise concurrency .github/workflows/workflow-linter.yml #145: Commit 2390e52 pushed by hyperpolymath
Failure main
main
Failure
ci(verisimdb): add TLA+ model-check workflow for V5/V9/V10 .github/workflows/workflow-linter.yml #144: Commit a301cef pushed by hyperpolymath
Failure main
main
Failure
proof(verisimdb): close V10 (transaction serializability) in TLA+ .github/workflows/workflow-linter.yml #143: Commit 94aa56f pushed by hyperpolymath
Failure main
main
Failure
proof(verisimdb): close V9 (normalizer determinism + convergence) in … .github/workflows/workflow-linter.yml #142: Commit 81e1d52 pushed by hyperpolymath
Failure main
main
Failure
proof(verisimdb): close V5 (Octad transaction atomicity) with TLA+/TLC .github/workflows/workflow-linter.yml #141: Commit 9d3dfd8 pushed by hyperpolymath
Failure main
main
Failure
proof(verisimdb): close V1 (Octad coherence invariant) in Idris2 .github/workflows/workflow-linter.yml #140: Commit e2e5d9b pushed by hyperpolymath
Failure main
main
Failure
proof(verisimdb): close V8 (drift metric correctness) in Idris2 .github/workflows/workflow-linter.yml #139: Commit 182cc7c pushed by hyperpolymath
Failure main
main
Failure
chore: Justfile recapitalization + launcher path correction .github/workflows/workflow-linter.yml #138: Commit 0b601be pushed by hyperpolymath
Failure main
main
Failure
chore: sync chore drift (docs, workflows, gitignore, a2ml) .github/workflows/workflow-linter.yml #137: Commit 427123e pushed by hyperpolymath
Failure main
main
Failure
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback .github/workflows/workflow-linter.yml #136: Commit 2057f31 pushed by hyperpolymath
Failure main
main
Failure
Merge pull request #11 from hyperpolymath/launcher-keepopen-realign .github/workflows/workflow-linter.yml #135: Commit 7e54a21 pushed by hyperpolymath
Failure main
main
Failure
launcher: realign against new keepopen-enabled template .github/workflows/workflow-linter.yml #134: Commit d2d90da pushed by hyperpolymath
Failure launcher-keepopen-realign
launcher-keepopen-realign
Failure
chore: M5 CI/Workflow Sweep - final synchronisation .github/workflows/workflow-linter.yml #133: Commit 6e9d91a pushed by hyperpolymath
Failure main
main
Failure
chore: M5 CI/Workflow Sweep - final synchronisation .github/workflows/workflow-linter.yml #132: Commit 6e9d91a pushed by hyperpolymath
Failure main
main
Failure
chore: M5 CI/Workflow Sweep - add blockers and contractile.just .github/workflows/workflow-linter.yml #131: Commit 63296cc pushed by hyperpolymath
Failure main
main
Failure
chore: add opsm.toml manifests for all sub-projects + update Justfile .github/workflows/workflow-linter.yml #130: Commit b42db7d pushed by hyperpolymath
Failure main
main
Failure
feat(quandledb): v0.3.0 extended invariants — determinant, signature,… .github/workflows/workflow-linter.yml #129: Commit 38d495d pushed by hyperpolymath
Failure main
main
Failure