Instant Sync

Workflow runs for Instant Sync

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

  failed at startup:
  Instant Sync#69:Commit4684a5dpushedbyhyperpolymath
  main

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

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

  failed at startup:
  Instant Sync#68:Commitaf6a973pushedbyhyperpolymath
  main

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

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

  failed at startup:
  Instant Sync#67:Commit30cd1dfpushedbyhyperpolymath
  main

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

• ci: make CI genuinely green — rust-ci toolchain pin (#36)

  failed at startup:
  Instant Sync#66:Commitb43c429pushedbyhyperpolymath
  main

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

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

  failed at startup:
  Instant Sync#65:Commitfa6b6a0pushedbyhyperpolymath
  main

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

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

  failed at startup:
  Instant Sync#64:Commitd55fbc6pushedbyhyperpolymath
  main

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

• ABI Layer 3: monotonicity of cost accounting + downward-closed budget…

  failed:
  Instant Sync#63:Commit7274b8fpushedbyhyperpolymath
  main

  Jun 28, 202615s
  More actions for workflow run 63

• ABI Layer 2: prove cost conservation (additivity) + budget compliance…

  failed:
  Instant Sync#62:Commitb67f59epushedbyhyperpolymath
  main

  Jun 27, 20266s
  More actions for workflow run 62

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

  failed:
  Instant Sync#61:Commitb1d4db5pushedbyhyperpolymath
  main

  Jun 27, 202638m 43s
  More actions for workflow run 61

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

  failed:
  Instant Sync#60:Commitce8cdc7pushedbyhyperpolymath
  main

  Jun 26, 20269s
  More actions for workflow run 60

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

  failed:
  Instant Sync#59:Commit890972dpushedbyhyperpolymath
  main

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

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

  failed:
  Instant Sync#58:Commita2ed81apushedbyhyperpolymath
  main

  Jun 26, 202616s
  More actions for workflow run 58

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

  failed:
  Instant Sync#57:Commitd729b6epushedbyhyperpolymath
  main

  Jun 26, 20261m 40s
  More actions for workflow run 57

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

  failed:
  Instant Sync#56:Commit5a75d17pushedbyhyperpolymath
  main

  Jun 25, 202641m 11s
  More actions for workflow run 56

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

  failed:
  Instant Sync#55:Commit84b5abapushedbyhyperpolymath
  main

  Jun 24, 202618h 0m 29s
  More actions for workflow run 55

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

  failed:
  Instant Sync#54:Commit5621dd3pushedbyhyperpolymath
  main

  Jun 24, 202617h 34m 58s
  More actions for workflow run 54

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

  failed:
  Instant Sync#53:Commit1e048a8pushedbyhyperpolymath
  main

  Jun 24, 20269h 57m 32s
  More actions for workflow run 53

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

  failed:
  Instant Sync#52:Commitef9881apushedbyhyperpolymath
  main

  Jun 24, 20261h 16m 41s
  More actions for workflow run 52

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

  failed:
  Instant Sync#51:Commitc840d01pushedbyhyperpolymath
  main

  Jun 24, 202656m 44s
  More actions for workflow run 51

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

  failed:
  Instant Sync#50:Commit078a729pushedbyhyperpolymath
  main

  Jun 22, 202644m 25s
  More actions for workflow run 50

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

  failed:
  Instant Sync#49:Commitc89dd35pushedbyhyperpolymath
  main

  Jun 21, 202626m 47s
  More actions for workflow run 49

• Base camp: RSR Mustfile + green CI (#20)

  failed:
  Instant Sync#48:Commit40863bepushedbyhyperpolymath
  main

  Jun 18, 20263m 35s
  More actions for workflow run 48

• ci: repin orphan reusable SHAs (97df7621/4fdf4314 → live) (#19)

  failed:
  Instant Sync#47:Commit9fcb348pushedbyhyperpolymath
  main

  May 30, 202614h 46m 46s
  More actions for workflow run 47

• ci(hypatia-scan): repin reusable to merge-commit SHA (orphan-SHA fix)…

  failed:
  Instant Sync#46:Commit1d3e66cpushedbyhyperpolymath
  main

  May 27, 20262h 49m 52s
  More actions for workflow run 46

• chore(ci): replace secret-scanner.yml with reusable wrapper (#16)

  failed:
  Instant Sync#45:Commit72ce52fpushedbyhyperpolymath
  main

  May 27, 20262h 43m 55s
  More actions for workflow run 45