Instant Sync

Workflow runs for Instant Sync

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

  failed at startup:
  Instant Sync#105:Commitbcf7ad8pushedbyhyperpolymath
  main

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

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

  failed at startup:
  Instant Sync#104:Commitfe437dapushedbyhyperpolymath
  main

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

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

  failed at startup:
  Instant Sync#103:Commiteb6e962pushedbyhyperpolymath
  main

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

• ci: fmt + clippy under stable 1.96 to make rust-ci green (follow-up) …

  failed at startup:
  Instant Sync#102:Commit356017apushedbyhyperpolymath
  main

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

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

  failed at startup:
  Instant Sync#101:Commit2ae2976pushedbyhyperpolymath
  main

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

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

  failed at startup:
  Instant Sync#100:Commite369b3cpushedbyhyperpolymath
  main

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

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

  failed at startup:
  Instant Sync#99:Commit2e9d19fpushedbyhyperpolymath
  main

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

• ABI Layer 3: generation soundness (genScaffold always Conformant) + u…

  failed:
  Instant Sync#98:Commit10b0a71pushedbyhyperpolymath
  main

  Jun 28, 202616s
  More actions for workflow run 98

• feat(abi): prove Conformant scaffold property (Layer 2 Semantics) (#73)

  failed:
  Instant Sync#97:Commit9d5e5d8pushedbyhyperpolymath
  main

  Jun 27, 202627s
  More actions for workflow run 97

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

  failed:
  Instant Sync#96:Commit024dbbdpushedbyhyperpolymath
  main

  Jun 27, 20261h 10m 27s
  More actions for workflow run 96

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

  failed:
  Instant Sync#95:Commita7ccd57pushedbyhyperpolymath
  main

  Jun 26, 20268s
  More actions for workflow run 95

• iseriser: auto-install pinned Zig toolchain in setup + devcontainer (…

  failed:
  Instant Sync#94:Commit13208cdpushedbyhyperpolymath
  main

  Jun 26, 20261m 11s
  More actions for workflow run 94

• iseriser: codegen emits verified, compiling Idris2 ABI (P2) (#69)

  failed:
  Instant Sync#93:Commit1b23126pushedbyhyperpolymath
  main

  Jun 26, 202611s
  More actions for workflow run 93

• iseriser: normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs)…

  failed:
  Instant Sync#92:Commit5f6dc0dpushedbyhyperpolymath
  main

  Jun 26, 20266s
  More actions for workflow run 92

• iseriser: make Phase 0 ABI proofs genuinely compile and verify (#67)

  failed:
  Instant Sync#91:Commit6f102afpushedbyhyperpolymath
  main

  Jun 26, 20269s
  More actions for workflow run 91

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

  failed:
  Instant Sync#90:Commitc0eb925pushedbyhyperpolymath
  main

  Jun 25, 202651m 38s
  More actions for workflow run 90

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

  failed:
  Instant Sync#89:Commit3f5a7e5pushedbyhyperpolymath
  main

  Jun 24, 202618h 41m 39s
  More actions for workflow run 89

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

  failed:
  Instant Sync#88:Commita484e7fpushedbyhyperpolymath
  main

  Jun 24, 202618h 5m 14s
  More actions for workflow run 88

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

  failed:
  Instant Sync#87:Commit8d9911epushedbyhyperpolymath
  main

  Jun 24, 202610h 35m 59s
  More actions for workflow run 87

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

  failed:
  Instant Sync#86:Commit3438a24pushedbyhyperpolymath
  main

  Jun 24, 20268h 9m 1s
  More actions for workflow run 86

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

  failed:
  Instant Sync#85:Commit79155bapushedbyhyperpolymath
  main

  Jun 24, 202636m 50s
  More actions for workflow run 85

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

  failed:
  Instant Sync#84:Commit08363bdpushedbyhyperpolymath
  main

  Jun 22, 202656m 13s
  More actions for workflow run 84

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

  failed:
  Instant Sync#83:Commit14b82f0pushedbyhyperpolymath
  main

  Jun 21, 202627m 55s
  More actions for workflow run 83

• Base camp: fold in the AOLD/iSOS/-iser-Atlas coordination layer + sca…

  failed:
  Instant Sync#82:Commitd7f9b17pushedbyhyperpolymath
  main

  Jun 18, 20261m 10s
  More actions for workflow run 82

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

  failed:
  Instant Sync#81:Commit1d3aac7pushedbyhyperpolymath
  main

  Jun 2, 20265m 11s
  More actions for workflow run 81