All workflows

Workflow runs

• VeriFast (negative)

  completed successfully:
  VeriFast (negative)#2075:Merge group checks requested
  Nov 3, 20265m 40s
  More actions for workflow run 2075

• VeriFast

  completed successfully:
  VeriFast#2089:Merge group checks requested
  Nov 3, 20265m 50s
  More actions for workflow run 2089

• Check PR Approvals

  completed successfully:
  Check PR Approvals#2323:Merge group checks requested
  Nov 3, 20265m 5s
  More actions for workflow run 2323

• Testable simd models

  completed successfully:
  Testable simd models#1061:Merge group checks requested
  Nov 3, 20268m 22s
  More actions for workflow run 1061

• Build Book

  completed successfully:
  Build Book#3206:Merge group checks requested
  Nov 3, 202612m 29s
  More actions for workflow run 3206

• Rust Tests

  completed successfully:
  Rust Tests#3369:Merge group checks requested
  Nov 3, 202616m 14s
  More actions for workflow run 3369

• KMIR

  currently running:
  KMIR#635:Merge group checks requested
  Nov 3, 2026In progress
  More actions for workflow run 635

• Kani

  currently running:
  Kani#3427:Merge group checks requested
  Nov 3, 2026In progress
  More actions for workflow run 3427

• Run GOTO Transcoder (ESBMC)

  completed successfully:
  Run GOTO Transcoder (ESBMC)#2145:Merge group checks requested
  Nov 3, 202617m 46s
  More actions for workflow run 2145

• Merge subtree update for toolchain nightly-2026-10-23 (#745)

  completed successfully:
  Run GOTO Transcoder (ESBMC)#2144:Commitf960670pushedbygithub-merge-queue[bot]Bot
  gh-readonly-queue/main/pr-745-233f96f66ab3785881cead133817ed5db4c76b09

  Nov 3, 202620m 32s
  More actions for workflow run 2144

• Merge subtree update for toolchain nightly-2026-10-23 (#745)

  currently running:
  Kani#3426:Commitf960670pushedbygithub-merge-queue[bot]Bot
  gh-readonly-queue/main/pr-745-233f96f66ab3785881cead133817ed5db4c76b09

  Nov 3, 2026In progress
  More actions for workflow run 3426

• Merge subtree update for toolchain nightly-2026-10-23 (#745)

  completed successfully:
  Rust Tests#3368:Commitf960670pushedbygithub-merge-queue[bot]Bot
  gh-readonly-queue/main/pr-745-233f96f66ab3785881cead133817ed5db4c76b09

  Nov 3, 202619m 8s
  More actions for workflow run 3368

• Merge subtree update for toolchain nightly-2026-10-23 (#745)

  completed successfully:
  VeriFast (negative)#2074:Commitf960670pushedbygithub-merge-queue[bot]Bot
  gh-readonly-queue/main/pr-745-233f96f66ab3785881cead133817ed5db4c76b09

  Nov 3, 20265m 37s
  More actions for workflow run 2074

• Merge subtree update for toolchain nightly-2026-10-23 (#745)

  completed successfully:
  VeriFast#2088:Commitf960670pushedbygithub-merge-queue[bot]Bot
  gh-readonly-queue/main/pr-745-233f96f66ab3785881cead133817ed5db4c76b09

  Nov 3, 20265m 48s
  More actions for workflow run 2088

• New challenge: Verify the safety of BinaryHeap functions

  failed:
  Check PR Approvals#2322:Pull request#747submittedbyKieran-Hulsman
  Nov 3, 202622m 31s
  More actions for workflow run 2322

• New challenge: Verify the safety of BinaryHeap functions

  failed:
  Check PR Approvals#2321:Pull request#747submittedbyKieran-Hulsman
  Nov 3, 202623m 20s
  More actions for workflow run 2321

• New challenge: Verify the safety of BinaryHeap functions

  failed:
  Check PR Approvals#2320:Pull request#747submittedbyKieran-Hulsman
  Nov 3, 202624m 26s
  More actions for workflow run 2320

• New challenge: Verify the safety of BinaryHeap functions

  failed:
  Check PR Approvals#2319:Pull request#747submittedbyKieran-Hulsman
  Nov 3, 202624m 16s
  More actions for workflow run 2319

• Merge subtree update for toolchain nightly-2026-10-23

  completed successfully:
  Check PR Approvals#2318:Pull request#745submittedbyrajath-mk
  Nov 3, 202624m 55s
  More actions for workflow run 2318

• New challenge: Verify the safety of BinaryHeap functions

  completed successfully:
  Build Book#3205:Pull request#747synchronizebyKieran-Hulsman
  Kieran-Hulsman:kieran/binary-heap-challenge

  Nov 3, 202629m 40s
  More actions for workflow run 3205

• New challenge: Verify the safety of BinaryHeap functions

  completed successfully:
  Run GOTO Transcoder (ESBMC)#2143:Pull request#747synchronizebyKieran-Hulsman
  Kieran-Hulsman:kieran/binary-heap-challenge

  Nov 3, 202638m 46s
  More actions for workflow run 2143

• New challenge: Verify the safety of BinaryHeap functions

  skipped:
  Kani autoharness on request#19:Pull request#747synchronizebyKieran-Hulsman
  Kieran-Hulsman:kieran/binary-heap-challenge

  Nov 3, 20261s
  More actions for workflow run 19

• New challenge: Verify the safety of BinaryHeap functions

  completed successfully:
  VeriFast (negative)#2073:Pull request#747synchronizebyKieran-Hulsman
  Kieran-Hulsman:kieran/binary-heap-challenge

  Nov 3, 202624m 59s
  More actions for workflow run 2073

• New challenge: Verify the safety of BinaryHeap functions

  completed successfully:
  RAPx#488:Pull request#747synchronizebyKieran-Hulsman
  Kieran-Hulsman:kieran/binary-heap-challenge

  Nov 3, 202627m 57s
  More actions for workflow run 488

• New challenge: Verify the safety of BinaryHeap functions

  currently running:
  Kani#3425:Pull request#747synchronizebyKieran-Hulsman
  Kieran-Hulsman:kieran/binary-heap-challenge

  Nov 3, 2026In progress
  More actions for workflow run 3425