Skip to content

Actions: hyperpolymath/valence-shell

Actions

Instant Sync

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
instant-sync.yml
27 workflow runs
27 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix(security): ERR-WF-008 and ERR-WF-009 fixes Instant Sync #27: Commit 0224f0f pushed by hyperpolymath
44m 15s main
main
44m 15s
chore: standardize repo with RSR dotfiles and SCM files Instant Sync #26: Commit 836e3a9 pushed by hyperpolymath
3m 13s main
main
3m 13s
docs: update STATE.scm with current project status Instant Sync #25: Commit c3f7b23 pushed by hyperpolymath
8s main
main
8s
fix(lean4): remove all sorry admissions from Lean 4 proofs Instant Sync #24: Commit 7153137 pushed by hyperpolymath
7s main
main
7s
fix(isabelle): all theories now verify in Isabelle 2025 Instant Sync #23: Commit 7e8a3cf pushed by hyperpolymath
7s main
main
7s
fix(mizar): filesystem_model.miz now verifies in Mizar 8.1.15 Instant Sync #22: Commit 714c08e pushed by hyperpolymath
8s main
main
8s
proofs/mizar: Rewrite for MML 5.94 compatibility (WIP) Instant Sync #21: Commit 7b0e808 pushed by hyperpolymath
32s main
main
32s
chore(mizar): add .gitignore for generated files Instant Sync #20: Commit d509458 pushed by hyperpolymath
7s main
main
7s
Add casket-ssg GitHub Pages workflow Instant Sync #19: Commit 7afe94c pushed by hyperpolymath
1m 18s main
main
1m 18s
Add zig-prover-ffi integration and update for Zig 0.15 Instant Sync #18: Commit 8819d3b pushed by hyperpolymath
7s main
main
7s
Update licensing to MPL-2.0 + Palimpsest Instant Sync #17: Commit 6e0485c pushed by hyperpolymath
1h 25m 58s main
main
1h 25m 58s
Fix Palimpsest badge URL (licence → license) Instant Sync #16: Commit 71d00b6 pushed by hyperpolymath
1h 24m 56s main
main
1h 24m 56s
Standardize repo structure (hyperpolymath/mustfile pattern) Instant Sync #15: Commit 51398cf pushed by hyperpolymath
14m 15s main
main
14m 15s
Update licensing to MPL-2.0 + Palimpsest Instant Sync #14: Commit d5a623f pushed by hyperpolymath
4m 5s main
main
4m 5s
chore: add security validation pre-commit hooks Instant Sync #13: Commit a92da3e pushed by hyperpolymath
5m 16s main
main
5m 16s
chore: update mirror workflow for multi-forge sync Instant Sync #12: Commit 25b2309 pushed by hyperpolymath
1h 5m 34s main
main
1h 5m 34s
chore: update mirror workflow for multi-forge sync Instant Sync #11: Commit 433e7c0 pushed by hyperpolymath
9m 27s main
main
9m 27s
chore: update mirror workflow for multi-forge sync Instant Sync #10: Commit f14e795 pushed by hyperpolymath
2m 8s main
main
2m 8s
Add end-to-end integration tests for reversibility verification Instant Sync #9: Commit 0b81dce pushed by hyperpolymath
8s main
main
8s
Fix Lean 4 proofs and add multi-language implementations Instant Sync #8: Commit fa46790 pushed by hyperpolymath
9s main
main
9s
Add scorecard-enforcer.yml prevention workflow Instant Sync #7: Commit 66ce7a0 pushed by hyperpolymath
1h 24m 28s main
main
1h 24m 28s
Add secret-scanner.yml prevention workflow Instant Sync #6: Commit f1c9d2a pushed by hyperpolymath
1h 24m 29s main
main
1h 24m 29s
Add workflow-linter.yml prevention workflow Instant Sync #5: Commit cda99c9 pushed by hyperpolymath
1h 24m 30s main
main
1h 24m 30s
Add license badges to README Instant Sync #4: Commit 8abc338 pushed by hyperpolymath
15m 24s main
main
15m 24s
Add contributing guide Instant Sync #3: Commit 6148de9 pushed by hyperpolymath
1h 57m 14s main
main
1h 57m 14s