Skip to content

Actions: hyperpolymath/eclexiaiser

Actions

Instant Sync

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
instant-sync.yml
This workflow was disabled manually.
69 workflow runs
69 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
ci: Secret Scanner caller must grant the reusable's job permissions (… Instant Sync #69: Commit 4684a5d pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(ci): clear OSSF Scorecard startup_failure (#38) Instant Sync #68: Commit af6a973 pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#37) Instant Sync #67: Commit 30cd1df pushed by hyperpolymath
Startup failure main
main
Startup failure
ci: make CI genuinely green — rust-ci toolchain pin (#36) Instant Sync #66: Commit b43c429 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 5: end-to-end soundness capstone certificate (#35) Instant Sync #65: Commit fa6b6a0 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… Instant Sync #64: Commit d55fbc6 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 3: monotonicity of cost accounting + downward-closed budget… Instant Sync #63: Commit 7274b8f pushed by hyperpolymath
15s main
main
15s
ABI Layer 2: prove cost conservation (additivity) + budget compliance… Instant Sync #62: Commit b67f59e pushed by hyperpolymath
6s main
main
6s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#31) Instant Sync #61: Commit b1d4db5 pushed by hyperpolymath
38m 43s main
main
38m 43s
P1: implement real Zig FFI matching the Idris2 ABI (#30) Instant Sync #60: Commit ce8cdc7 pushed by hyperpolymath
9s main
main
9s
Auto-install pinned Zig toolchain in setup + devcontainer (#29) Instant Sync #59: Commit 890972d pushed by hyperpolymath
1m 56s main
main
1m 56s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… Instant Sync #58: Commit a2ed81a pushed by hyperpolymath
16s main
main
16s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#27) Instant Sync #57: Commit d729b6e pushed by hyperpolymath
1m 40s main
main
1m 40s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profi… Instant Sync #56: Commit 5a75d17 pushed by hyperpolymath
41m 11s main
main
41m 11s
chore(clade): backfill [status] lifecycle block (#24) Instant Sync #55: Commit 84b5aba pushed by hyperpolymath
18h 0m 29s main
main
18h 0m 29s
chore(ci): add dormant push-email notification workflow (#25) Instant Sync #54: Commit 5621dd3 pushed by hyperpolymath
17h 34m 58s main
main
17h 34m 58s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … Instant Sync #53: Commit 1e048a8 pushed by hyperpolymath
9h 57m 32s main
main
9h 57m 32s
chore(ci): bump standards reusable workflow pins (#22) Instant Sync #52: Commit ef9881a pushed by hyperpolymath
1h 16m 41s main
main
1h 16m 41s
chore(nix->guix): remove flake.nix (Guix-only) (#21) Instant Sync #51: Commit c840d01 pushed by hyperpolymath
56m 44s main
main
56m 44s
chore: retire local issue/discussion templates -> inherit org .github… Instant Sync #50: Commit 078a729 pushed by hyperpolymath
44m 25s main
main
44m 25s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… Instant Sync #49: Commit c89dd35 pushed by hyperpolymath
26m 47s main
main
26m 47s
Base camp: RSR Mustfile + green CI (#20) Instant Sync #48: Commit 40863be pushed by hyperpolymath
3m 35s main
main
3m 35s
ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live) (#19) Instant Sync #47: Commit 9fcb348 pushed by hyperpolymath
14h 46m 46s main
main
14h 46m 46s
ci(hypatia-scan): repin reusable to merge-commit SHA (orphan-SHA fix)… Instant Sync #46: Commit 1d3e66c pushed by hyperpolymath
2h 49m 52s main
main
2h 49m 52s
chore(ci): replace secret-scanner.yml with reusable wrapper (#16) Instant Sync #45: Commit 72ce52f pushed by hyperpolymath
2h 43m 55s main
main
2h 43m 55s