Instant Sync

Workflow runs for Instant Sync

• build(deps): bump the actions group with 3 updates (#351)

  failed:
  Instant Sync#629:Commit52bb739pushedbyhyperpolymath
  main

  Jul 17, 2026Failure
  More actions for workflow run 629

• build(deps): bump the actions group with 3 updates

  failed:
  Instant Sync#628:Commit7361f17pushedbydependabot[bot]Bot
  dependabot/github_actions/actions-cd4e3ebe7a

  Jul 17, 2026Failure
  More actions for workflow run 628

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

  failed:
  Instant Sync#627:Commite8d6d54pushedbyhyperpolymath
  main

  Jul 9, 2026Failure
  More actions for workflow run 627

• Merge branch 'main' into ci/secret-scanner-caller-perms

  failed:
  Instant Sync#626:Commitb7c0d17pushedbyhyperpolymath
  ci/secret-scanner-caller-perms

  Jul 9, 2026Failure
  More actions for workflow run 626

• build(deps): bump the actions group with 2 updates (#349)

  failed:
  Instant Sync#625:Commit0cfa994pushedbyhyperpolymath
  main

  Jul 9, 2026Failure
  More actions for workflow run 625

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

  failed:
  Instant Sync#624:Commit8b796cdpushedbyhyperpolymath
  ci/secret-scanner-caller-perms

  Jul 9, 2026Failure
  More actions for workflow run 624

• test(seam): cross-verifier conformance for the access-sites carrier (…

  failed:
  Instant Sync#623:Commitb5d49a7pushedbyhyperpolymath
  main

  Jul 9, 2026Failure
  More actions for workflow run 623

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

  failed:
  Instant Sync#622:Commit2062790pushedbydependabot[bot]Bot
  dependabot/github_actions/actions-6872eef3cb

  Jul 9, 2026Failure
  More actions for workflow run 622

• test(seam): cross-verifier conformance for the access-sites carrier (…

  failed:
  Instant Sync#621:Commitb5d49a7pushedbyhyperpolymath
  main

  Jul 7, 2026Failure
  More actions for workflow run 621

• test(seam): cross-verifier conformance for the access-sites carrier (…

  failed:
  Instant Sync#620:Commit3a33e51pushedbyhyperpolymath
  test/access-sites-seam-conformance

  Jul 7, 2026Failure
  More actions for workflow run 620

• feat(codegen): emit typedwasm.regions + access-sites carriers (closes…

  failed:
  Instant Sync#619:Commitfc32791pushedbyhyperpolymath
  main

  Jul 7, 2026Failure
  More actions for workflow run 619

• feat(codegen): emit typedwasm.regions + typedwasm.access-sites carrie…

  failed:
  Instant Sync#618:Commitbd93e0apushedbyhyperpolymath
  feat/access-sites-carrier

  Jul 7, 2026Failure
  More actions for workflow run 618

• feat(modules): stdlib import search path — 'import Argv' works from a…

  failed:
  Instant Sync#617:Commit02865d1pushedbyhyperpolymath
  main

  Jul 7, 2026Failure
  More actions for workflow run 617

• feat(modules): stdlib import search path — 'import Argv' now works fr…

  failed:
  Instant Sync#616:Commite9ef1a9pushedbyhyperpolymath
  feat/stdlib-import-search-path

  Jul 7, 2026Failure
  More actions for workflow run 616

• proof(L1): experiment 3b — preservation_l1 is provably FALSE as state…

  failed:
  Instant Sync#615:Commit22e278epushedbyhyperpolymath
  main

  Jul 7, 2026Failure
  More actions for workflow run 615

• proof(L1): experiment 3b — preservation_l1 is provably FALSE as state…

  failed:
  Instant Sync#614:Commit36bf8c6pushedbyhyperpolymath
  proof/preservation-l1-counterexample

  Jul 6, 2026Failure
  More actions for workflow run 614

• test(corpus): whole-repo .eph ratchet gate — only 13/119 files compil…

  failed:
  Instant Sync#613:Commit92cd278pushedbyhyperpolymath
  main

  Jul 6, 2026Failure
  More actions for workflow run 613

• test(corpus): whole-repo .eph ratchet gate — only 13/119 files compil…

  failed:
  Instant Sync#612:Commit503cb20pushedbyhyperpolymath
  feat/eph-corpus-gate

  Jul 6, 2026Failure
  More actions for workflow run 612

• proof(L1): experiment 3 — step_pop_disjoint_from_type_l1 is provably …

  failed:
  Instant Sync#611:Commit84a7bdcpushedbyhyperpolymath
  main

  Jul 6, 2026Failure
  More actions for workflow run 611

• proof(L1): experiment 3 — step_pop_disjoint_from_type_l1 is provably …

  failed:
  Instant Sync#610:Commit7e5f6dcpushedbyhyperpolymath
  proof/steppop-counterexample

  Jul 6, 2026Failure
  More actions for workflow run 610

• chore(hygiene): purge committed build artifacts + fix Secret Scanner …

  failed:
  Instant Sync#609:Commitb2ee89epushedbyhyperpolymath
  main

  Jul 6, 2026Failure
  More actions for workflow run 609

• chore(hygiene): purge committed build artifacts + fix Secret Scanner …

  failed:
  Instant Sync#608:Commit1cae6fdpushedbyhyperpolymath
  chore/hygiene-zig-cache-ocaml-artifacts

  Jul 6, 2026Failure
  More actions for workflow run 608

• fix(idris2): make the dyadic parse front-end actually compile + gate …

  failed:
  Instant Sync#607:Commitd2bd75fpushedbyhyperpolymath
  main

  Jul 6, 2026Failure
  More actions for workflow run 607

• fix(idris2): make the dyadic parse front-end actually compile + gate …

  failed:
  Instant Sync#606:Commit249b129pushedbyhyperpolymath
  worktree-health-check-idris2-headers

  Jul 6, 2026-1s
  More actions for workflow run 606

• brand: new e-mark (Euler's e + ἐφάπαξ), fix README hero positioning (…

  failed:
  Instant Sync#605:Commit632910bpushedbyhyperpolymath
  main

  Jul 5, 2026Failure
  More actions for workflow run 605