Instant Sync

Workflow runs for Instant Sync

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

  failed at startup:
  Instant Sync#83:Commitf4d2c41pushedbyhyperpolymath
  main

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

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

  failed at startup:
  Instant Sync#82:Commit4c384f6pushedbyhyperpolymath
  main

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

• ci(abi): typecheck the Idris2 ABI in CI (G34) (#52)

  failed at startup:
  Instant Sync#81:Commitf6ed4fepushedbyhyperpolymath
  main

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

• docs: convert README.md → README.adoc (estate .adoc-default policy) (…

  failed at startup:
  Instant Sync#80:Commit645ee59pushedbyhyperpolymath
  main

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

• chore(licence): add SPDX headers to headerless files (G39) (#50)

  failed at startup:
  Instant Sync#79:Commit38a4babpushedbyhyperpolymath
  main

  Jul 1, 2026Startup failure
  More actions for workflow run 79

• docs(readme): mark scikit-learn→MLJ as planned, not shipped (G38) (#49)

  failed at startup:
  Instant Sync#78:Commit67fea44pushedbyhyperpolymath
  main

  Jul 1, 2026Startup failure
  More actions for workflow run 78

• fix(codegen): parseable non-throwing Julia output; honest FFI relabel…

  failed at startup:
  Instant Sync#77:Commit3c57147pushedbyhyperpolymath
  main

  Jul 1, 2026Startup failure
  More actions for workflow run 77

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

  failed at startup:
  Instant Sync#76:Commit449bb2fpushedbyhyperpolymath
  main

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

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

  failed at startup:
  Instant Sync#75:Commitf4551d4pushedbyhyperpolymath
  main

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

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

  failed at startup:
  Instant Sync#74:Commit4a5ac2apushedbyhyperpolymath
  main

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

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

  failed at startup:
  Instant Sync#73:Commit638f66apushedbyhyperpolymath
  main

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

• ABI Layer 3: compositionality — translation is a homomorphism over th…

  failed:
  Instant Sync#72:Commit8bd0eb9pushedbyhyperpolymath
  main

  Jun 28, 202621s
  More actions for workflow run 72

• abi: prove translation preserves results (Julianiser.ABI.Semantics) (…

  failed:
  Instant Sync#71:Commita937d93pushedbyhyperpolymath
  main

  Jun 27, 202630s
  More actions for workflow run 71

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

  failed:
  Instant Sync#70:Commit0a2d5c4pushedbyhyperpolymath
  main

  Jun 27, 20261h 15m 27s
  More actions for workflow run 70

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

  failed:
  Instant Sync#69:Commitf347889pushedbyhyperpolymath
  main

  Jun 26, 202646s
  More actions for workflow run 69

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

  failed:
  Instant Sync#68:Commit7e31dadpushedbyhyperpolymath
  main

  Jun 26, 20264m 27s
  More actions for workflow run 68

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

  failed:
  Instant Sync#67:Commit7ba8cc7pushedbyhyperpolymath
  main

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

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

  failed:
  Instant Sync#66:Commit4c7f468pushedbyhyperpolymath
  main

  Jun 26, 20261m 9s
  More actions for workflow run 66

• docs(readme): convert README.adoc -> Markdown README.md (#36)

  failed:
  Instant Sync#65:Commit446d48epushedbyhyperpolymath
  main

  Jun 25, 202652m 34s
  More actions for workflow run 65

• chore(clade): backfill [status] lifecycle block (default active) (#34)

  failed:
  Instant Sync#64:Commit534b4f3pushedbyhyperpolymath
  main

  Jun 24, 202618h 54m 50s
  More actions for workflow run 64

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

  failed:
  Instant Sync#63:Commitd4dd9e3pushedbyhyperpolymath
  main

  Jun 24, 202618h 28m 20s
  More actions for workflow run 63

• chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#33)

  failed:
  Instant Sync#62:Commit6ef7341pushedbyhyperpolymath
  main

  Jun 24, 202610h 37m 25s
  More actions for workflow run 62

• chore(ci): bump standards reusable workflow pins to d135b05bfc64 (#32)

  failed:
  Instant Sync#61:Commit5d02dfdpushedbyhyperpolymath
  main

  Jun 24, 20262h 48m 30s
  More actions for workflow run 61

• chore(nix->guix): remove flake.nix (Guix-only estate policy) (#31)

  failed:
  Instant Sync#60:Commitf778db8pushedbyhyperpolymath
  main

  Jun 24, 202634m 52s
  More actions for workflow run 60

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

  failed:
  Instant Sync#59:Commit54bbf58pushedbyhyperpolymath
  main

  Jun 22, 202657m 40s
  More actions for workflow run 59