All workflows

Workflow runs

• main-health

  completed successfully:
  main-health#93:completedbyzachyking
  Oct 27, 202611s
  More actions for workflow run 93

• Merge pull request #55 from FeirAI/fix/shadow-budget-1s

  completed successfully:
  ci#270:Commit09c5414pushedbyzachyking
  main

  Oct 27, 202636m 57s
  More actions for workflow run 270

• Lower the checkpoint shadow budget default from 5 s to 1 s

  completed successfully:
  ci#269:Pull request#55openedbyzachyking
  fix/shadow-budget-1s

  Oct 27, 202636m 47s
  More actions for workflow run 269

• main-health

  completed successfully:
  main-health#92:Scheduled
  main

  Oct 27, 20269s
  More actions for workflow run 92

• main-health

  completed successfully:
  main-health#91:completedbyzachyking
  Oct 27, 202610s
  More actions for workflow run 91

• ci

  completed successfully:
  ci#268:Scheduled
  main

  Oct 27, 20261h 22m 40s
  More actions for workflow run 268

• feat(server): operator back-anchor of the un-anchored tail (POST /v2/anchors/backfill)

  completed successfully:
  ci#267:Pull request#54synchronizebyzachyking
  feat/back-anchor

  Oct 26, 202637m 0s
  More actions for workflow run 267

• feat(server): operator back-anchor of the un-anchored tail (POST /v2/anchors/backfill)

  completed successfully:
  ci#266:Pull request#54openedbyzachyking
  feat/back-anchor

  Oct 26, 202638m 14s
  More actions for workflow run 266

• main-health

  completed successfully:
  main-health#90:completedbyzachyking
  Oct 26, 202613s
  More actions for workflow run 90

• Merge pull request #52 from FeirAI/fix/shadow-min-interval

  completed successfully:
  ci#265:Commit4d6e1f8pushedbyzachyking
  main

  Oct 26, 202635m 1s
  More actions for workflow run 265

• main-health

  completed successfully:
  main-health#89:completedbyzachyking
  Oct 26, 202612s
  More actions for workflow run 89

• Merge pull request #53 from FeirAI/ci/apt-opam-robust

  completed successfully:
  ci#264:Commit22b1626pushedbyzachyking
  main

  Oct 26, 202634m 12s
  More actions for workflow run 264

• main-health

  completed successfully:
  main-health#88:completedbyzachyking
  Oct 26, 202610s
  More actions for workflow run 88

• Rate-limit the scheduled checkpoint shadow to once per hour per project

  completed successfully:
  ci#263:Pull request#52synchronizebyzachyking
  fix/shadow-min-interval

  Oct 26, 20261h 28m 42s
  More actions for workflow run 263

• Merge pull request #50 from FeirAI/formal/segments-size-cap-detector

  completed successfully:
  ci#262:Commit0b5aa64pushedbyzachyking
  main

  Oct 26, 202638m 27s
  More actions for workflow run 262

• ci: robust apt steps for opam and core-32bit (skip system ocaml, retry, mirror fallback)

  completed successfully:
  ci#261:Pull request#53openedbyzachyking
  ci/apt-opam-robust

  Oct 26, 202637m 56s
  More actions for workflow run 261

• temporary: apt diagnostic

  completed successfully:
  diag-apt#1:Commitf11f932pushedbyzachyking
  ci/apt-opam-robust

  Oct 26, 202614s
  More actions for workflow run 1

• main-health

  completed successfully:
  main-health#87:completedbyzachyking
  Oct 26, 202612s
  More actions for workflow run 87

• formal: kill surface-segments-size-cap-not-enforced (month precedence test)

  completed successfully:
  ci#260:Pull request#50synchronizebyzachyking
  formal/segments-size-cap-detector

  Oct 26, 202652m 12s
  More actions for workflow run 260

• Merge pull request #51 from FeirAI/deps/ignore-rustsec-2026-0387-veri…

  completed successfully:
  ci#259:Commit26c78f8pushedbyzachyking
  main

  Oct 26, 202641m 11s
  More actions for workflow run 259

• Rate-limit the scheduled checkpoint shadow to once per hour per project

  failed:
  ci#258:Pull request#52synchronizebyzachyking
  fix/shadow-min-interval

  Oct 26, 202657m 32s
  More actions for workflow run 258

• Rate-limit the scheduled checkpoint shadow to once per hour per project

  failed:
  ci#257:Pull request#52synchronizebyzachyking
  fix/shadow-min-interval

  Oct 26, 202639m 58s
  More actions for workflow run 257

• Rate-limit the scheduled checkpoint shadow to once per hour per project

  failed:
  ci#256:Pull request#52openedbyzachyking
  fix/shadow-min-interval

  Oct 26, 202632m 53s
  More actions for workflow run 256

• main-health

  completed successfully:
  main-health#86:Scheduled
  main

  Oct 26, 202610s
  More actions for workflow run 86

• deny: accept RUSTSEC-2026-0387 for the verify-only TSA path (revisit by 2027-01-31)

  completed successfully:
  ci#255:Pull request#51openedbyzachyking
  deps/ignore-rustsec-2026-0387-verify-only

  Oct 26, 202634m 48s
  More actions for workflow run 255