Instant Sync

Workflow runs for Instant Sync

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

  failed at startup:
  Instant Sync#81:Commitf71c96bpushedbyhyperpolymath
  main

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

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

  failed at startup:
  Instant Sync#80:Commit9a1efbdpushedbyhyperpolymath
  main

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

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

  failed at startup:
  Instant Sync#79:Commit3abdd1apushedbyhyperpolymath
  main

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

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

  failed at startup:
  Instant Sync#78:Commit9437b92pushedbyhyperpolymath
  main

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

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

  failed at startup:
  Instant Sync#77:Commit27590b6pushedbyhyperpolymath
  main

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

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

  failed at startup:
  Instant Sync#76:Commit764a7f8pushedbyhyperpolymath
  main

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

• ABI Layer 3: multiplicity subsumption — one entails lone (#44)

  failed:
  Instant Sync#75:Commite23f89cpushedbyhyperpolymath
  main

  Jun 28, 202619s
  More actions for workflow run 75

• ABI Layer 2: prove Alloy one-multiplicity constraint — flagship Idr…

  failed:
  Instant Sync#74:Commitda7c8eepushedbyhyperpolymath
  main

  Jun 27, 20269s
  More actions for workflow run 74

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

  failed:
  Instant Sync#73:Commit1f5a51dpushedbyhyperpolymath
  main

  Jun 27, 202623s
  More actions for workflow run 73

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

  failed:
  Instant Sync#72:Commitfa43c23pushedbyhyperpolymath
  main

  Jun 26, 20267s
  More actions for workflow run 72

• chore: remove accidentally committed Zig build cache + gitignore it (…

  failed:
  Instant Sync#71:Commitea642f2pushedbyhyperpolymath
  main

  Jun 26, 20261m 53s
  More actions for workflow run 71

• P1: implement real Zig FFI matching the Idris2 ABI (#39)

  failed:
  Instant Sync#70:Commitec9c6a9pushedbyhyperpolymath
  main

  Jun 26, 20268s
  More actions for workflow run 70

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

  failed:
  Instant Sync#69:Commitab8fabcpushedbyhyperpolymath
  main

  Jun 26, 202638s
  More actions for workflow run 69

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

  failed:
  Instant Sync#68:Commit6667aa1pushedbyhyperpolymath
  main

  Jun 26, 20261m 56s
  More actions for workflow run 68

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

  failed:
  Instant Sync#67:Commit98604ccpushedbyhyperpolymath
  main

  Jun 26, 20262m 23s
  More actions for workflow run 67

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

  failed:
  Instant Sync#66:Commit891839cpushedbyhyperpolymath
  main

  Jun 25, 202625m 39s
  More actions for workflow run 66

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

  failed:
  Instant Sync#65:Commitd25a87dpushedbyhyperpolymath
  main

  Jun 24, 202616h 58m 8s
  More actions for workflow run 65

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

  failed:
  Instant Sync#64:Commit4708762pushedbyhyperpolymath
  main

  Jun 24, 202615h 56m 58s
  More actions for workflow run 64

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

  failed:
  Instant Sync#63:Commit1674eefpushedbyhyperpolymath
  main

  Jun 24, 20268h 19m 44s
  More actions for workflow run 63

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

  failed:
  Instant Sync#62:Commit8e0a812pushedbyhyperpolymath
  main

  Jun 24, 202613m 34s
  More actions for workflow run 62

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

  failed:
  Instant Sync#61:Commit17f594bpushedbyhyperpolymath
  main

  Jun 24, 202643m 8s
  More actions for workflow run 61

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

  failed:
  Instant Sync#60:Commit73e31c5pushedbyhyperpolymath
  main

  Jun 22, 202653m 8s
  More actions for workflow run 60

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

  failed:
  Instant Sync#59:Commit24a5692pushedbyhyperpolymath
  main

  Jun 21, 202624m 55s
  More actions for workflow run 59

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

  failed:
  Instant Sync#58:Commit44bd447pushedbyhyperpolymath
  main

  Jun 18, 20268s
  More actions for workflow run 58

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

  failed:
  Instant Sync#57:Commitd17f0f9pushedbyhyperpolymath
  main

  Jun 18, 202610s
  More actions for workflow run 57