Skip to content

Actions: hyperpolymath/verisimdb-data

Actions

Deploy Jekyll site to Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
jekyll.yml
104 workflow runs
104 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
Standardize workspace: Track Bust contractile artifacts Deploy Jekyll site to Pages #29: Commit 1f7381d pushed by hyperpolymath
1s main
main
1s
chore(contractiles): add bust/ + relocate k9 to svc/ Deploy Jekyll site to Pages #28: Commit 49b4eb5 pushed by hyperpolymath
11m 32s main
main
11m 32s
chore(contractiles): remove lust (not in 6-verb set: intend trust mus… Deploy Jekyll site to Pages #27: Commit 24e9186 pushed by hyperpolymath
24m 55s main
main
24m 55s
Standardize workspace: Capitalize Justfile references in scripts and … Deploy Jekyll site to Pages #26: Commit ba751ca pushed by hyperpolymath
2h 39m 50s main
main
2h 39m 50s
ci: restore Dependabot security path + wire auto-merge Deploy Jekyll site to Pages #25: Commit 36d9f68 pushed by hyperpolymath
2h 23m 18s main
main
2h 23m 18s
chore: sync local state Deploy Jekyll site to Pages #24: Commit a9edf03 pushed by hyperpolymath
41m 57s main
main
41m 57s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback Deploy Jekyll site to Pages #23: Commit beb977a pushed by hyperpolymath
2h 18m 17s main
main
2h 18m 17s
chore: M5 CI/Workflow Sweep - final synchronisation Deploy Jekyll site to Pages #22: Commit 21edf03 pushed by hyperpolymath
1h 29m 45s main
main
1h 29m 45s
chore: M5 CI/Workflow Sweep - add blockers and contractile.just Deploy Jekyll site to Pages #21: Commit 40f260e pushed by hyperpolymath
9m 49s main
main
9m 49s
chore(.machine_readable): convert 6a2 checkpoint files from Scheme to… Deploy Jekyll site to Pages #20: Commit c408d44 pushed by hyperpolymath
1h 57m 54s main
main
1h 57m 54s
chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred Deploy Jekyll site to Pages #19: Commit 0cd8b1e pushed by hyperpolymath
1h 33m 11s main
main
1h 33m 11s
chore: automated sync of local changes Deploy Jekyll site to Pages #18: Commit 8ca6906 pushed by hyperpolymath
34s main
main
34s
chore: automated sync of local changes Deploy Jekyll site to Pages #17: Commit 5bfe56f pushed by hyperpolymath
25m 30s main
main
25m 30s
feat(crg): add crg-grade and crg-badge justfile recipes Deploy Jekyll site to Pages #16: Commit 06740d2 pushed by hyperpolymath
1s main
main
1s
docs: add M2 estate audit report (2026-04-04) Deploy Jekyll site to Pages #15: Commit 19973bc pushed by hyperpolymath
6h 28m 16s main
main
6h 28m 16s
feat: add self-health VeriSimDB Zig module to close observability loop Deploy Jekyll site to Pages #14: Commit 18b7243 pushed by hyperpolymath
1s main
main
1s
docs: add TOPOLOGY.md Deploy Jekyll site to Pages #13: Commit 8c583b3 pushed by hyperpolymath
2h 23m 47s main
main
2h 23m 47s
ci: deploy dogfood-gate, fix hypatia-scan, add pre-commit hooks Deploy Jekyll site to Pages #12: Commit 37fbb5d pushed by hyperpolymath
1h 52m 35s main
main
1h 52m 35s
docs: add TEST-NEEDS.md (CRG C) Deploy Jekyll site to Pages #11: Commit 79a8244 pushed by hyperpolymath
46m 6s main
main
46m 6s
Remove template-only ABI files that falsely implied formal verification Deploy Jekyll site to Pages #10: Commit 4b4b7c9 pushed by hyperpolymath
26m 43s main
main
26m 43s
feat: migrate generate-summaries from Python to Julia Deploy Jekyll site to Pages #9: Commit f78efba pushed by hyperpolymath
7m 55s main
main
7m 55s
chore: replace template placeholder in ROADMAP.adoc with project name Deploy Jekyll site to Pages #8: Commit 61ef778 pushed by hyperpolymath
21m 36s main
main
21m 36s
feat: add stapeln.toml container definition Deploy Jekyll site to Pages #7: Commit 9e8a703 pushed by hyperpolymath
43m 26s main
main
43m 26s
chore: deploy UX infrastructure (contractile.just, .well-known, manif… Deploy Jekyll site to Pages #6: Commit 0c7dde2 pushed by hyperpolymath
51m 40s main
main
51m 40s
feat: add UX Justfile with doctor, tour, help-me, assail recipes Deploy Jekyll site to Pages #5: Commit 158426c pushed by hyperpolymath
15m 58s main
main
15m 58s