Skip to content

Actions: hyperpolymath/affinescriptiser

Actions

Instant Sync

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
instant-sync.yml
This workflow was disabled manually.
74 workflow runs
74 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 #74: Commit 31d70df pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(ci): clear OSSF Scorecard startup_failure (#44) Instant Sync #73: Commit 1cf7d9d pushed by hyperpolymath
Startup failure main
main
Startup failure
fix(clade): correct identity uuid (deterministic v5) (#43) Instant Sync #72: Commit a95cc52 pushed by hyperpolymath
Startup failure main
main
Startup failure
ci: fmt under stable 1.96 to make rust-ci green (follow-up) (#42) Instant Sync #71: Commit 3c05860 pushed by hyperpolymath
Startup failure main
main
Startup failure
ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia… Instant Sync #70: Commit 65adbce pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 5: end-to-end soundness capstone certificate (#40) Instant Sync #69: Commit e687c88 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 4: prove the FFI result-code seam is injective + faithful (… Instant Sync #68: Commit 5b37667 pushed by hyperpolymath
Startup failure main
main
Startup failure
ABI Layer 3: affine composition law over disjoint variable sets (#38) Instant Sync #67: Commit befb22e pushed by hyperpolymath
18s main
main
18s
ABI Layer 2: prove affine usage (use-at-most-once) — flagship Idris2 … Instant Sync #66: Commit bd08c30 pushed by hyperpolymath
8s main
main
8s
ci: refresh standards reusable pins to current HEAD (d7c2271) (#36) Instant Sync #65: Commit cc37b35 pushed by hyperpolymath
18s main
main
18s
ci: add ABI↔FFI conformance gate (#35) Instant Sync #64: Commit 6532bc9 pushed by hyperpolymath
16s main
main
16s
Auto-install pinned Zig toolchain in setup + devcontainer (#34) Instant Sync #63: Commit 703fd16 pushed by hyperpolymath
26s main
main
26s
ABI: make Idris2 proofs genuinely compile + add machine-checked theor… Instant Sync #62: Commit 412ae57 pushed by hyperpolymath
53s main
main
53s
Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#32) Instant Sync #61: Commit 2a34624 pushed by hyperpolymath
2m 52s main
main
2m 52s
docs(readme): convert README.adoc -> Markdown (renders on Glama/profi… Instant Sync #60: Commit d2d08ea pushed by hyperpolymath
22m 11s main
main
22m 11s
chore(clade): backfill [status] lifecycle block (#29) Instant Sync #59: Commit a6ffd68 pushed by hyperpolymath
16h 59m 24s main
main
16h 59m 24s
chore(ci): add dormant push-email notification workflow (#30) Instant Sync #58: Commit a714845 pushed by hyperpolymath
16h 5m 15s main
main
16h 5m 15s
chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … Instant Sync #57: Commit 24600a6 pushed by hyperpolymath
8h 15m 9s main
main
8h 15m 9s
chore(ci): bump standards reusable workflow pins (#27) Instant Sync #56: Commit fdb01c1 pushed by hyperpolymath
23m 42s main
main
23m 42s
chore(nix->guix): remove flake.nix (Guix-only) (#26) Instant Sync #55: Commit d12af52 pushed by hyperpolymath
1h 1m 58s main
main
1h 1m 58s
chore: retire local issue/discussion templates -> inherit org .github… Instant Sync #54: Commit 6b0b2ab pushed by hyperpolymath
45m 11s main
main
45m 11s
ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go… Instant Sync #53: Commit 65a859b pushed by hyperpolymath
15m 21s main
main
15m 21s
docs: de-dup README (keep .adoc, port sponsor badge) (#25) Instant Sync #52: Commit c6b6551 pushed by hyperpolymath
22s main
main
22s
Base camp: RSR Mustfile + green CI (ReScript→AffineScript, CodeQL mat… Instant Sync #51: Commit af4cba8 pushed by hyperpolymath
9s main
main
9s
ci: bump a2ml-validate-action to 6bff6ec (s-expression form support) … Instant Sync #50: Commit ffbc218 pushed by hyperpolymath
11s main
main
11s