Instant Sync

Workflow runs for Instant Sync

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

  failed at startup:
  Instant Sync#76:Commit8d8fdf3pushedbyhyperpolymath
  main

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

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

  failed at startup:
  Instant Sync#75:Commit1dfd6e5pushedbyhyperpolymath
  main

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

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

  failed at startup:
  Instant Sync#74:Commit1cbe5d3pushedbyhyperpolymath
  main

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

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

  failed at startup:
  Instant Sync#73:Commit35c90depushedbyhyperpolymath
  main

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

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

  failed at startup:
  Instant Sync#72:Commit7fda0e9pushedbyhyperpolymath
  main

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

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

  failed at startup:
  Instant Sync#71:Commit8e0badcpushedbyhyperpolymath
  main

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

• ABI Layer 3: type-lowering injectivity + composition (two deeper code…

  failed:
  Instant Sync#70:Commitd6ec80cpushedbyhyperpolymath
  main

  Jun 28, 20262m 26s
  More actions for workflow run 70

• abi(nimiser): prove C-binding signature preservation (Layer 2) (#36)

  failed:
  Instant Sync#69:Commit5b2fadapushedbyhyperpolymath
  main

  Jun 27, 202618s
  More actions for workflow run 69

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

  failed:
  Instant Sync#68:Commitb2598e7pushedbyhyperpolymath
  main

  Jun 27, 20261h 30m 31s
  More actions for workflow run 68

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

  failed:
  Instant Sync#67:Commit02ed1dcpushedbyhyperpolymath
  main

  Jun 26, 202633s
  More actions for workflow run 67

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

  failed:
  Instant Sync#66:Commit52f5330pushedbyhyperpolymath
  main

  Jun 26, 20264m 48s
  More actions for workflow run 66

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

  failed:
  Instant Sync#65:Commitbe1d62dpushedbyhyperpolymath
  main

  Jun 26, 20262m 18s
  More actions for workflow run 65

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

  failed:
  Instant Sync#64:Commit6908e75pushedbyhyperpolymath
  main

  Jun 26, 202633s
  More actions for workflow run 64

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

  failed:
  Instant Sync#63:Commita2c9325pushedbyhyperpolymath
  main

  Jun 24, 202621h 1m 22s
  More actions for workflow run 63

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

  failed:
  Instant Sync#62:Commit5d3c2ecpushedbyhyperpolymath
  main

  Jun 24, 202620h 55m 53s
  More actions for workflow run 62

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

  failed:
  Instant Sync#61:Commit477779fpushedbyhyperpolymath
  main

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

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

  failed:
  Instant Sync#60:Commit8c558e7pushedbyhyperpolymath
  main

  Jun 24, 20264h 20m 59s
  More actions for workflow run 60

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

  failed:
  Instant Sync#59:Commit5718069pushedbyhyperpolymath
  main

  Jun 24, 202633m 24s
  More actions for workflow run 59

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

  failed:
  Instant Sync#58:Commitd6bc8a7pushedbyhyperpolymath
  main

  Jun 22, 202657m 48s
  More actions for workflow run 58

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

  failed:
  Instant Sync#57:Commit0a34a0dpushedbyhyperpolymath
  main

  Jun 21, 202626m 25s
  More actions for workflow run 57

• ci: cut Actions burn in .github/workflows/k9-svc-validation.yml (scop…

  failed:
  Instant Sync#56:Commit82b6d7apushedbyhyperpolymath
  main

  Jun 19, 202656s
  More actions for workflow run 56

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

  failed:
  Instant Sync#55:Commit30b7184pushedbyhyperpolymath
  main

  Jun 18, 202652s
  More actions for workflow run 55

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

  failed:
  Instant Sync#54:Commit72cd992pushedbyhyperpolymath
  main

  May 30, 202613h 43m 10s
  More actions for workflow run 54

• chore(deps): bump toml from 0.8.23 to 1.1.2+spec-1.1.0 (#22)

  failed:
  Instant Sync#53:Commitb0aba23pushedbyhyperpolymath
  main

  May 30, 20269h 49m 29s
  More actions for workflow run 53

• Chore/hypatia scan reusable wrapper (#16)

  failed:
  Instant Sync#52:Commitfe08b19pushedbyhyperpolymath
  main

  May 29, 202612s
  More actions for workflow run 52