All workflows

Workflow runs

• fuzz-continuous

  completed successfully:
  fuzz-continuous#71:Scheduled
  public

  Oct 16, 20262m 22s
  More actions for workflow run 71

• fuzz-continuous

  failed:
  fuzz-continuous#70:Scheduled
  public

  Oct 15, 20261m 40s
  More actions for workflow run 70

• fuzz-continuous

  completed successfully:
  fuzz-continuous#69:Scheduled
  public

  Oct 14, 20262m 8s
  More actions for workflow run 69

• fuzz-continuous

  completed successfully:
  fuzz-continuous#68:Scheduled
  public

  Oct 13, 20262m 25s
  More actions for workflow run 68

• [ALL] CHORE: deploy artifacts at the #90 sync chain

  completed successfully:
  verify#339:Commitd37572cpushedbyib823
  main

  Oct 12, 20267m 30s
  More actions for workflow run 339

• fuzz-continuous

  failed:
  fuzz-continuous#67:Scheduled
  public

  Oct 12, 20261m 48s
  More actions for workflow run 67

• [ALL] CHORE: metrics provenance stamp at the #90 merge

  completed successfully:
  verify#338:Commit2fea4f5pushedbyib823
  main

  Oct 12, 20268m 41s
  More actions for workflow run 338

• Merge pull request #90 from ib823/ccr-db4b5499-udxc4o

  completed successfully:
  verify#337:Commit68b6c50pushedbyib823
  main

  Oct 12, 20268m 29s
  More actions for workflow run 337

• [TRACK_F] FIX: Stop the fast-mode metrics fallback from carrying non-Coq claims

  completed successfully:
  verify#336:Pull request#90openedbyib823
  ccr-db4b5499-udxc4o

  Oct 12, 20262m 54s
  More actions for workflow run 336

• [ALL] DOCS: Record the PR #89 merge and deployment chain (Part 11)

  completed successfully:
  verify#335:Commit038b02bpushedbyib823
  main

  Oct 12, 20267m 13s
  More actions for workflow run 335

• [TRACK_F] FIX: Drop a container-absolute path from a verify.rs comment

  completed successfully:
  verify#334:Commitfa97d81pushedbyib823
  main

  Oct 12, 20267m 57s
  More actions for workflow run 334

• [ALL] CHORE: Verification manifest at 166ed506

  completed successfully:
  verify#333:Commiteffd0a5pushedbyib823
  main

  Oct 12, 20267m 25s
  More actions for workflow run 333

• [ALL] CHORE: Refresh non-Coq lane report at d8eece41; Alloy claim bac…

  cancelled:
  verify#332:Commit166ed50pushedbyib823
  main

  Oct 12, 20268m 22s
  More actions for workflow run 332

• [ALL] CHORE: metrics provenance stamp at the #89 merge

  completed successfully:
  verify#331:Commitd8eece4pushedbyib823
  main

  Oct 12, 20267m 13s
  More actions for workflow run 331

• Merge PR #89: audit remediation — proof integrity, REQ-84..87 core th…

  completed successfully:
  verify#330:Commitd40f538pushedbyib823
  main

  Oct 12, 202611m 58s
  More actions for workflow run 330

• Audit remediation: proof integrity, new core theorems, compiler/runtime soundness, supply chain

  completed successfully:
  verify#329:Pull request#89synchronizebyib823
  ccr-db4b5499-udxc4o

  Oct 11, 20266m 57s
  More actions for workflow run 329

• Audit remediation: proof integrity, new core theorems, compiler/runtime soundness, supply chain

  completed successfully:
  verify#328:Pull request#89synchronizebyib823
  ccr-db4b5499-udxc4o

  Oct 11, 20267m 50s
  More actions for workflow run 328

• Audit remediation: proof integrity, new core theorems, compiler/runtime soundness, supply chain

  completed successfully:
  verify#327:Pull request#89synchronizebyib823
  ccr-db4b5499-udxc4o

  Oct 11, 20268m 44s
  More actions for workflow run 327

• Audit remediation: proof integrity, new core theorems, compiler/runtime soundness, supply chain

  completed successfully:
  verify#326:Pull request#89synchronizebyib823
  ccr-db4b5499-udxc4o

  Oct 11, 20268m 31s
  More actions for workflow run 326

• Audit remediation: proof integrity, new core theorems, compiler/runtime soundness, supply chain

  completed successfully:
  verify#325:Pull request#89openedbyib823
  ccr-db4b5499-udxc4o

  Oct 11, 202612m 8s
  More actions for workflow run 325

• fuzz-continuous

  completed successfully:
  fuzz-continuous#66:Scheduled
  public

  Oct 11, 202615m 35s
  More actions for workflow run 66

• fuzz-continuous

  completed successfully:
  fuzz-continuous#65:Scheduled
  public

  Oct 10, 202615m 27s
  More actions for workflow run 65

• fuzz-continuous

  completed successfully:
  fuzz-continuous#64:Scheduled
  public

  Oct 9, 202610m 13s
  More actions for workflow run 64

• fuzz-continuous

  completed successfully:
  fuzz-continuous#63:Scheduled
  public

  Oct 8, 202615m 32s
  More actions for workflow run 63

• fuzz-continuous

  completed successfully:
  fuzz-continuous#62:Scheduled
  public

  Oct 7, 202615m 38s
  More actions for workflow run 62