Skip to content

Actions: hyperpolymath/verisimdb-data

Actions

Ingest Scan Results

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ingest.yml
171 workflow runs
171 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: M5 CI/Workflow Sweep - add blockers and contractile.just Ingest Scan Results #21: Commit 40f260e pushed by hyperpolymath
Failure main
main
Failure
chore(.machine_readable): convert 6a2 checkpoint files from Scheme to… Ingest Scan Results #20: Commit c408d44 pushed by hyperpolymath
Failure main
main
Failure
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred Ingest Scan Results #19: Commit 0cd8b1e pushed by hyperpolymath
Failure main
main
Failure
chore: automated sync of local changes Ingest Scan Results #18: Commit 8ca6906 pushed by hyperpolymath
Failure main
main
Failure
chore: automated sync of local changes Ingest Scan Results #17: Commit 5bfe56f pushed by hyperpolymath
Failure main
main
Failure
feat(crg): add crg-grade and crg-badge justfile recipes Ingest Scan Results #16: Commit 06740d2 pushed by hyperpolymath
Failure main
main
Failure
docs: add M2 estate audit report (2026-04-04) Ingest Scan Results #15: Commit 19973bc pushed by hyperpolymath
Failure main
main
Failure
feat: add self-health VeriSimDB Zig module to close observability loop Ingest Scan Results #14: Commit 18b7243 pushed by hyperpolymath
Failure main
main
Failure
docs: add TOPOLOGY.md Ingest Scan Results #13: Commit 8c583b3 pushed by hyperpolymath
Failure main
main
Failure
ci: deploy dogfood-gate, fix hypatia-scan, add pre-commit hooks Ingest Scan Results #12: Commit 37fbb5d pushed by hyperpolymath
Failure main
main
Failure
docs: add TEST-NEEDS.md (CRG C) Ingest Scan Results #11: Commit 79a8244 pushed by hyperpolymath
Failure main
main
Failure
Remove template-only ABI files that falsely implied formal verification Ingest Scan Results #10: Commit 4b4b7c9 pushed by hyperpolymath
Failure main
main
Failure
feat: migrate generate-summaries from Python to Julia Ingest Scan Results #9: Commit f78efba pushed by hyperpolymath
Failure main
main
Failure
chore: replace template placeholder in ROADMAP.adoc with project name Ingest Scan Results #8: Commit 61ef778 pushed by hyperpolymath
Failure main
main
Failure
feat: add stapeln.toml container definition Ingest Scan Results #7: Commit 9e8a703 pushed by hyperpolymath
Failure main
main
Failure
chore: deploy UX infrastructure (contractile.just, .well-known, manif… Ingest Scan Results #6: Commit 0c7dde2 pushed by hyperpolymath
Failure main
main
Failure
feat: add UX Justfile with doctor, tour, help-me, assail recipes Ingest Scan Results #5: Commit 158426c pushed by hyperpolymath
Failure main
main
Failure
chore: add UX infrastructure (quickstart, doctor, setup) Ingest Scan Results #4: Commit 5991ab7 pushed by hyperpolymath
Failure main
main
Failure
chore: add agent_instructions methodology layer Ingest Scan Results #3: Commit 19a87db pushed by hyperpolymath
Failure main
main
Failure
docs: add EXPLAINME.adoc — prove-it file backing README claims Ingest Scan Results #2: Commit 7d828f2 pushed by hyperpolymath
Failure main
main
Failure
feat: initialize verisimdb-data as standalone repo Ingest Scan Results #1: Commit 37f87d8 pushed by hyperpolymath
Failure main
main
Failure