Instant Sync

Workflow runs for Instant Sync

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

  failed at startup:
  Instant Sync#76:Commitf059c0bpushedbyhyperpolymath
  main

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

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

  failed at startup:
  Instant Sync#75:Commit097dc09pushedbyhyperpolymath
  main

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

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

  failed at startup:
  Instant Sync#74:Commit610828fpushedbyhyperpolymath
  main

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

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

  failed at startup:
  Instant Sync#73:Commit7d7a2d3pushedbyhyperpolymath
  main

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

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

  failed at startup:
  Instant Sync#72:Commit80ce6f9pushedbyhyperpolymath
  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:Commitcec1666pushedbyhyperpolymath
  main

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

• ABI Layer 3: (Trit, and3) is a commutative idempotent meet-semilattic…

  failed:
  Instant Sync#70:Commit4ba51c1pushedbyhyperpolymath
  main

  Jun 28, 202611s
  More actions for workflow run 70

• ABI Layer 2: prove Kleene ternary-logic soundness — flagship Idris2 p…

  failed:
  Instant Sync#69:Commit1f72b7epushedbyhyperpolymath
  main

  Jun 27, 202611s
  More actions for workflow run 69

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

  failed:
  Instant Sync#68:Commite59dbe0pushedbyhyperpolymath
  main

  Jun 27, 20268m 12s
  More actions for workflow run 68

• P1: fix Zig FFI to build and match the Idris2 ABI (#37)

  failed:
  Instant Sync#67:Commiteec7d55pushedbyhyperpolymath
  main

  Jun 26, 202655s
  More actions for workflow run 67

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

  failed:
  Instant Sync#66:Commitbf59a6cpushedbyhyperpolymath
  main

  Jun 26, 202616s
  More actions for workflow run 66

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

  failed:
  Instant Sync#65:Commit2ecf551pushedbyhyperpolymath
  main

  Jun 26, 202628s
  More actions for workflow run 65

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

  failed:
  Instant Sync#64:Commitebd58e2pushedbyhyperpolymath
  main

  Jun 26, 20262m 15s
  More actions for workflow run 64

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

  failed:
  Instant Sync#63:Commit1b145fepushedbyhyperpolymath
  main

  Jun 25, 202625m 58s
  More actions for workflow run 63

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

  failed:
  Instant Sync#62:Commitd4f74b8pushedbyhyperpolymath
  main

  Jun 24, 202617h 19m 54s
  More actions for workflow run 62

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

  failed:
  Instant Sync#61:Commitd34ae3apushedbyhyperpolymath
  main

  Jun 24, 202615h 34m 19s
  More actions for workflow run 61

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

  failed:
  Instant Sync#60:Commit4394a90pushedbyhyperpolymath
  main

  Jun 24, 20269h 0m 4s
  More actions for workflow run 60

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

  failed:
  Instant Sync#59:Commit0b5b8b6pushedbyhyperpolymath
  main

  Jun 24, 202629m 4s
  More actions for workflow run 59

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

  failed:
  Instant Sync#58:Commitdc363f0pushedbyhyperpolymath
  main

  Jun 24, 202640m 54s
  More actions for workflow run 58

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

  failed:
  Instant Sync#57:Commit705f4a0pushedbyhyperpolymath
  main

  Jun 22, 202652m 55s
  More actions for workflow run 57

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

  failed:
  Instant Sync#56:Commitc28e48epushedbyhyperpolymath
  main

  Jun 21, 202618m 18s
  More actions for workflow run 56

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

  failed:
  Instant Sync#55:Commitea7cc96pushedbyhyperpolymath
  main

  Jun 18, 20261m 9s
  More actions for workflow run 55

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

  failed:
  Instant Sync#54:Commit722f62epushedbyhyperpolymath
  main

  Jun 18, 20268s
  More actions for workflow run 54

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

  failed:
  Instant Sync#53:Commit070a5f3pushedbyhyperpolymath
  main

  Jun 2, 20268s
  More actions for workflow run 53

• Add sponsor badge

  failed:
  Instant Sync#52:Commit09d6059pushedbyhyperpolymath
  main

  Jun 1, 202619m 33s
  More actions for workflow run 52