Instant Sync

Workflow runs for Instant Sync

• chore(deps): bump regex from 1.12.3 to 1.13.0 (#52)

  failed at startup:
  Instant Sync#82:Commit67e4865pushedbyhyperpolymath
  main

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

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

  failed at startup:
  Instant Sync#81:Commit67aed16pushedbyhyperpolymath
  main

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

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

  failed at startup:
  Instant Sync#80:Commit34c9ee1pushedbyhyperpolymath
  main

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

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

  failed at startup:
  Instant Sync#79:Commit1176671pushedbyhyperpolymath
  main

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

• ci: make CI genuinely green — rust-ci toolchain pin + fmt/clippy (#48)

  failed at startup:
  Instant Sync#78:Commit2656f00pushedbyhyperpolymath
  main

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

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

  failed at startup:
  Instant Sync#77:Commite65ee21pushedbyhyperpolymath
  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:Commit87aad80pushedbyhyperpolymath
  main

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

• ABI Layer 3: transition soundness of linear free (state + address p…

  failed:
  Instant Sync#75:Commit38ac343pushedbyhyperpolymath
  main

  Jun 28, 202610s
  More actions for workflow run 75

• ABI Layer 2: prove linear-pointer memory safety (no use-after-free/do…

  failed:
  Instant Sync#74:Commit4ad7cb3pushedbyhyperpolymath
  main

  Jun 27, 202611s
  More actions for workflow run 74

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

  failed:
  Instant Sync#73:Commit04b3009pushedbyhyperpolymath
  main

  Jun 27, 20262m 49s
  More actions for workflow run 73

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

  failed:
  Instant Sync#72:Commit458701dpushedbyhyperpolymath
  main

  Jun 26, 202627s
  More actions for workflow run 72

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

  failed:
  Instant Sync#71:Commit6fe9694pushedbyhyperpolymath
  main

  Jun 26, 202617s
  More actions for workflow run 71

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

  failed:
  Instant Sync#70:Commitb3caa84pushedbyhyperpolymath
  main

  Jun 26, 202648s
  More actions for workflow run 70

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

  failed:
  Instant Sync#69:Commit9ce2805pushedbyhyperpolymath
  main

  Jun 26, 20262m 16s
  More actions for workflow run 69

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

  failed:
  Instant Sync#68:Commit15b859cpushedbyhyperpolymath
  main

  Jun 25, 202624m 22s
  More actions for workflow run 68

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

  failed:
  Instant Sync#67:Commit67eaa56pushedbyhyperpolymath
  main

  Jun 24, 202616h 42m 57s
  More actions for workflow run 67

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

  failed:
  Instant Sync#66:Commit056af44pushedbyhyperpolymath
  main

  Jun 24, 202614h 16m 59s
  More actions for workflow run 66

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

  failed:
  Instant Sync#65:Commitab40d1dpushedbyhyperpolymath
  main

  Jun 24, 20269h 13m 1s
  More actions for workflow run 65

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

  failed:
  Instant Sync#64:Commitac59977pushedbyhyperpolymath
  main

  Jun 24, 202621m 56s
  More actions for workflow run 64

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

  failed:
  Instant Sync#63:Commitec57899pushedbyhyperpolymath
  main

  Jun 24, 202642m 19s
  More actions for workflow run 63

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

  failed:
  Instant Sync#62:Commitcfc94d9pushedbyhyperpolymath
  main

  Jun 22, 202652m 58s
  More actions for workflow run 62

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

  failed:
  Instant Sync#61:Commitd76ecd9pushedbyhyperpolymath
  main

  Jun 21, 202618m 32s
  More actions for workflow run 61

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

  failed:
  Instant Sync#60:Commitc36a8dbpushedbyhyperpolymath
  main

  Jun 18, 202610s
  More actions for workflow run 60

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

  failed:
  Instant Sync#59:Commitcb6f660pushedbyhyperpolymath
  main

  Jun 18, 202610s
  More actions for workflow run 59

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

  failed:
  Instant Sync#58:Commitd803b1bpushedbyhyperpolymath
  main

  Jun 2, 202611s
  More actions for workflow run 58