Instant Sync

Workflow runs for Instant Sync

• ci: Secret Scanner caller must grant the reusable's job permissions (…

  failed at startup:
  Instant Sync#74:Commit31d70dfpushedbyhyperpolymath
  main

  Jul 9, 2026Startup failure
  More actions for workflow run 74

• fix(ci): clear OSSF Scorecard startup_failure (#44)

  failed at startup:
  Instant Sync#73:Commit1cf7d9dpushedbyhyperpolymath
  main

  Jul 6, 2026Startup failure
  More actions for workflow run 73

• fix(clade): correct identity uuid (deterministic v5) (#43)

  failed at startup:
  Instant Sync#72:Commita95cc52pushedbyhyperpolymath
  main

  Jun 29, 2026Startup failure
  More actions for workflow run 72

• ci: fmt under stable 1.96 to make rust-ci green (follow-up) (#42)

  failed at startup:
  Instant Sync#71:Commit3c05860pushedbyhyperpolymath
  main

  Jun 28, 2026Startup failure
  More actions for workflow run 71

• ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia…

  failed at startup:
  Instant Sync#70:Commit65adbcepushedbyhyperpolymath
  main

  Jun 28, 2026Startup failure
  More actions for workflow run 70

• ABI Layer 5: end-to-end soundness capstone certificate (#40)

  failed at startup:
  Instant Sync#69:Commite687c88pushedbyhyperpolymath
  main

  Jun 28, 2026Startup failure
  More actions for workflow run 69

• ABI Layer 4: prove the FFI result-code seam is injective + faithful (…

  failed at startup:
  Instant Sync#68:Commit5b37667pushedbyhyperpolymath
  main

  Jun 28, 2026Startup failure
  More actions for workflow run 68

• ABI Layer 3: affine composition law over disjoint variable sets (#38)

  failed:
  Instant Sync#67:Commitbefb22epushedbyhyperpolymath
  main

  Jun 28, 202618s
  More actions for workflow run 67

• ABI Layer 2: prove affine usage (use-at-most-once) — flagship Idris2 …

  failed:
  Instant Sync#66:Commitbd08c30pushedbyhyperpolymath
  main

  Jun 27, 20268s
  More actions for workflow run 66

• ci: refresh standards reusable pins to current HEAD (d7c2271) (#36)

  failed:
  Instant Sync#65:Commitcc37b35pushedbyhyperpolymath
  main

  Jun 27, 202618s
  More actions for workflow run 65

• ci: add ABI↔FFI conformance gate (#35)

  failed:
  Instant Sync#64:Commit6532bc9pushedbyhyperpolymath
  main

  Jun 26, 202616s
  More actions for workflow run 64

• Auto-install pinned Zig toolchain in setup + devcontainer (#34)

  failed:
  Instant Sync#63:Commit703fd16pushedbyhyperpolymath
  main

  Jun 26, 202626s
  More actions for workflow run 63

• ABI: make Idris2 proofs genuinely compile + add machine-checked theor…

  failed:
  Instant Sync#62:Commit412ae57pushedbyhyperpolymath
  main

  Jun 26, 202653s
  More actions for workflow run 62

• Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#32)

  failed:
  Instant Sync#61:Commit2a34624pushedbyhyperpolymath
  main

  Jun 26, 20262m 52s
  More actions for workflow run 61

• docs(readme): convert README.adoc -> Markdown (renders on Glama/profi…

  failed:
  Instant Sync#60:Commitd2d08eapushedbyhyperpolymath
  main

  Jun 25, 202622m 11s
  More actions for workflow run 60

• chore(clade): backfill [status] lifecycle block (#29)

  failed:
  Instant Sync#59:Commita6ffd68pushedbyhyperpolymath
  main

  Jun 24, 202616h 59m 24s
  More actions for workflow run 59

• chore(ci): add dormant push-email notification workflow (#30)

  failed:
  Instant Sync#58:Commita714845pushedbyhyperpolymath
  main

  Jun 24, 202616h 5m 15s
  More actions for workflow run 58

• chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) …

  failed:
  Instant Sync#57:Commit24600a6pushedbyhyperpolymath
  main

  Jun 24, 20268h 15m 9s
  More actions for workflow run 57

• chore(ci): bump standards reusable workflow pins (#27)

  failed:
  Instant Sync#56:Commitfdb01c1pushedbyhyperpolymath
  main

  Jun 24, 202623m 42s
  More actions for workflow run 56

• chore(nix->guix): remove flake.nix (Guix-only) (#26)

  failed:
  Instant Sync#55:Commitd12af52pushedbyhyperpolymath
  main

  Jun 24, 20261h 1m 58s
  More actions for workflow run 55

• chore: retire local issue/discussion templates -> inherit org .github…

  failed:
  Instant Sync#54:Commit6b0b2abpushedbyhyperpolymath
  main

  Jun 22, 202645m 11s
  More actions for workflow run 54

• ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go…

  failed:
  Instant Sync#53:Commit65a859bpushedbyhyperpolymath
  main

  Jun 21, 202615m 21s
  More actions for workflow run 53

• docs: de-dup README (keep .adoc, port sponsor badge) (#25)

  failed:
  Instant Sync#52:Commitc6b6551pushedbyhyperpolymath
  main

  Jun 18, 202622s
  More actions for workflow run 52

• Base camp: RSR Mustfile + green CI (ReScript→AffineScript, CodeQL mat…

  failed:
  Instant Sync#51:Commitaf4cba8pushedbyhyperpolymath
  main

  Jun 18, 20269s
  More actions for workflow run 51

• ci: bump a2ml-validate-action to 6bff6ec (s-expression form support) …

  failed:
  Instant Sync#50:Commitffbc218pushedbyhyperpolymath
  main

  Jun 2, 202611s
  More actions for workflow run 50