Skip to content

Actions: hyperpolymath/alloyiser

Actions

Instant Sync

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
instant-sync.yml
78 workflow runs
78 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: make CI genuinely green — rust-ci toolchain pin + canonical Julia… Instant Sync #78: Commit 9437b92 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 5: end-to-end soundness capstone certificate (#46) Instant Sync #77: Commit 27590b6 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… Instant Sync #76: Commit 764a7f8 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 3: multiplicity subsumption — one entails lone (#44) Instant Sync #75: Commit e23f89c pushed by hyperpolymath
19s main
main
19s
ABI Layer 2: prove Alloy one-multiplicity constraint — flagship Idr… Instant Sync #74: Commit da7c8ee pushed by hyperpolymath
9s main
main
9s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#42) Instant Sync #73: Commit 1f5a51d pushed by hyperpolymath
23s main
main
23s
ci: add ABI↔FFI conformance gate (#41) Instant Sync #72: Commit fa43c23 pushed by hyperpolymath
7s main
main
7s
chore: remove accidentally committed Zig build cache + gitignore it (… Instant Sync #71: Commit ea642f2 pushed by hyperpolymath
1m 53s main
main
1m 53s
P1: implement real Zig FFI matching the Idris2 ABI (#39) Instant Sync #70: Commit ec9c6a9 pushed by hyperpolymath
8s main
main
8s
Auto-install pinned Zig toolchain in setup + devcontainer (#38) Instant Sync #69: Commit ab8fabc pushed by hyperpolymath
38s main
main
38s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… Instant Sync #68: Commit 6667aa1 pushed by hyperpolymath
1m 56s main
main
1m 56s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#36) Instant Sync #67: Commit 98604cc pushed by hyperpolymath
2m 23s main
main
2m 23s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profi… Instant Sync #66: Commit 891839c pushed by hyperpolymath
25m 39s main
main
25m 39s
chore(clade): backfill [status] lifecycle block (#33) Instant Sync #65: Commit d25a87d pushed by hyperpolymath
16h 58m 8s main
main
16h 58m 8s
chore(ci): add dormant push-email notification workflow (#34) Instant Sync #64: Commit 4708762 pushed by hyperpolymath
15h 56m 58s main
main
15h 56m 58s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … Instant Sync #63: Commit 1674eef pushed by hyperpolymath
8h 19m 44s main
main
8h 19m 44s
chore(ci): bump standards reusable workflow pins (#31) Instant Sync #62: Commit 8e0a812 pushed by hyperpolymath
13m 34s main
main
13m 34s
chore(nix->guix): remove flake.nix (Guix-only) (#30) Instant Sync #61: Commit 17f594b pushed by hyperpolymath
43m 8s main
main
43m 8s
chore: retire local issue/discussion templates -> inherit org .github… Instant Sync #60: Commit 73e31c5 pushed by hyperpolymath
53m 8s main
main
53m 8s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… Instant Sync #59: Commit 24a5692 pushed by hyperpolymath
24m 55s main
main
24m 55s
docs: de-dup README/CHANGELOG (keep .adoc, port sponsor badge) (#29) Instant Sync #58: Commit 44bd447 pushed by hyperpolymath
8s main
main
8s
Base camp: RSR Mustfile + green CI (ReScript→AffineScript, CodeQL mat… Instant Sync #57: Commit d17f0f9 pushed by hyperpolymath
10s main
main
10s
ci: bump a2ml-validate-action to 6bff6ec (s-expression form support) … Instant Sync #56: Commit 1987fc8 pushed by hyperpolymath
10s main
main
10s
Add sponsor badge Instant Sync #55: Commit 84fa3fb pushed by hyperpolymath
13m 51s main
main
13m 51s
ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live SHAs) (#26) Instant Sync #54: Commit 24c10c6 pushed by hyperpolymath
13h 45m 32s main
main
13h 45m 32s