Instant Sync

Workflow runs for Instant Sync

• chore(deps): bump the actions group with 3 updates (#166)

  failed:
  Instant Sync#252:Commitf1e7b94pushedbyhyperpolymath
  main

  Jul 19, 20269s
  More actions for workflow run 252

• Three v1.0 items: E-Grade launcher, mechanized correspondence oracle,…

  failed:
  Instant Sync#251:Commit6bae89bpushedbyhyperpolymath
  main

  Jul 17, 20269s
  More actions for workflow run 251

• Coq: re-verify 0 real gaps + fix build/verify from clean; add `just r…

  failed:
  Instant Sync#250:Commit15c082fpushedbyhyperpolymath
  main

  Jul 17, 20267s
  More actions for workflow run 250

• chore(deps): bump the actions group with 7 updates (#163)

  failed:
  Instant Sync#249:Commitdbab186pushedbyhyperpolymath
  main

  Jul 12, 20266s
  More actions for workflow run 249

• ci: Lean via elan in ECHIDNA + drop duplicate trufflehog --fail (#161)

  failed:
  Instant Sync#248:Commit32f2049pushedbyhyperpolymath
  main

  Jul 7, 20266s
  More actions for workflow run 248

• docs: production charter — roadmap to v1.0.0 rewritten (owner ratific…

  failed:
  Instant Sync#247:Commit33449dbpushedbyhyperpolymath
  main

  Jul 7, 20263m 27s
  More actions for workflow run 247

• ci: fix ECHIDNA scheduled red + Secret Scanner startup_failure (#159)

  failed:
  Instant Sync#246:Commit79c280fpushedbyhyperpolymath
  main

  Jul 7, 20261m 28s
  More actions for workflow run 246

• chore(deps): bump the actions group with 7 updates (#158)

  failed:
  Instant Sync#245:Commit5c6edd3pushedbyhyperpolymath
  main

  Jul 5, 20269s
  More actions for workflow run 245

• docs(wiki): audience-segmented wiki + lay-person & press kits (#157)

  failed:
  Instant Sync#244:Commitc07de63pushedbyhyperpolymath
  main

  Jul 3, 20268s
  More actions for workflow run 244

• infra: ABI/FFI docs + header (4A), scorecard perms (3), fuzz build fi…

  failed:
  Instant Sync#243:Commit2c028a4pushedbyhyperpolymath
  main

  Jul 2, 20267s
  More actions for workflow run 243

• chore: estate standardization remainder — contractiles restructure, n…

  failed:
  Instant Sync#242:Commitdd4da3epushedbyhyperpolymath
  main

  Jul 1, 202611s
  More actions for workflow run 242

• fix(lean4): remove dead contradiction — greens the Lean 4 CI (#155)

  failed:
  Instant Sync#241:Commit566d73epushedbyhyperpolymath
  main

  Jul 1, 202612s
  More actions for workflow run 241

• chore: audit-remediation batch — panic/unsafe, CI test-gating + cover…

  failed:
  Instant Sync#240:Commit84004cbpushedbyhyperpolymath
  main

  Jul 1, 202610s
  More actions for workflow run 240

• ci: harden workflows — timeout caps, pinned+verified elan, drop empty…

  failed:
  Instant Sync#239:Commit9b11d08pushedbyhyperpolymath
  main

  Jul 1, 202615s
  More actions for workflow run 239

• proofs(idris2): close all proof holes at the root — 0 holes, 0 new ax…

  failed:
  Instant Sync#238:Commit2ea4ba5pushedbyhyperpolymath
  main

  Jul 1, 20267s
  More actions for workflow run 238

• chore(deps): bump the actions group with 2 updates (#150)

  failed:
  Instant Sync#237:Commit3eee5afpushedbyhyperpolymath
  main

  Jun 28, 20267s
  More actions for workflow run 237

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

  failed:
  Instant Sync#236:Commited4d498pushedbyhyperpolymath
  main

  Jun 27, 20261m 18s
  More actions for workflow run 236

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

  failed:
  Instant Sync#235:Commitb6b07c6pushedbyhyperpolymath
  main

  Jun 24, 202619h 13m 53s
  More actions for workflow run 235

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

  failed:
  Instant Sync#234:Commita8930d1pushedbyhyperpolymath
  main

  Jun 24, 202618h 46m 54s
  More actions for workflow run 234

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

  failed:
  Instant Sync#233:Commitbe08effpushedbyhyperpolymath
  main

  Jun 24, 202618h 29m 6s
  More actions for workflow run 233

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

  failed:
  Instant Sync#232:Commitde525d4pushedbyhyperpolymath
  main

  Jun 24, 20267h 36m 43s
  More actions for workflow run 232

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

  failed:
  Instant Sync#231:Commit582a629pushedbyhyperpolymath
  main

  Jun 24, 20261h 3m 26s
  More actions for workflow run 231

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

  failed:
  Instant Sync#230:Commit137a917pushedbyhyperpolymath
  main

  Jun 22, 202634m 59s
  More actions for workflow run 230

• chore(deps): bump the actions group with 2 updates

  failed:
  Instant Sync#229:Commit34253edpushedbyhyperpolymath
  main

  Jun 21, 202611s
  More actions for workflow run 229

• chore(deps): bump ossf/scorecard-action in the actions group

  failed:
  Instant Sync#228:Commitcbab3b3pushedbyhyperpolymath
  main

  Jun 14, 202623s
  More actions for workflow run 228