All workflows

Workflow runs

• Subtree Update

  completed successfully:
  Subtree Update#640:Scheduled
  main

  Nov 5, 20268m 34s
  More actions for workflow run 640

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

  completed successfully:
  Kani autoharness on request#21:Pull request#745labeledbyfeliperodri
  sync-2026-10-23

  Nov 5, 20262h 17m 57s
  More actions for workflow run 21

• New challenge: Verify the safety of BinaryHeap functions

  failed:
  Check PR Approvals#2327:Pull request#747submittedbyfeliperodri
  Nov 5, 202614s
  More actions for workflow run 2327

• Subtree Update

  completed successfully:
  Subtree Update#639:Scheduled
  main

  Nov 4, 20264m 24s
  More actions for workflow run 639

• Challenge 29: Kani contracts for Box, convert, and ThinBox

  completed successfully:
  Check PR Approvals#2326:Pull request#639submittedbysankalpsthakur
  Nov 4, 202611s
  More actions for workflow run 2326

• Challenge 29: Kani contracts for Box, convert, and ThinBox

  completed successfully:
  Build Book#3207:Pull request#639synchronizebysankalpsthakur
  sankalpsthakur:challenge/29-boxed

  Nov 3, 20268m 25s
  More actions for workflow run 3207

• Challenge 29: Kani contracts for Box, convert, and ThinBox

  completed successfully:
  VeriFast#2090:Pull request#639synchronizebysankalpsthakur
  sankalpsthakur:challenge/29-boxed

  Nov 3, 202646s
  More actions for workflow run 2090

• Challenge 29: Kani contracts for Box, convert, and ThinBox

  skipped:
  Kani autoharness on request#20:Pull request#639synchronizebysankalpsthakur
  sankalpsthakur:challenge/29-boxed

  Nov 3, 20261s
  More actions for workflow run 20

• Challenge 29: Kani contracts for Box, convert, and ThinBox

  completed successfully:
  Flux#1287:Pull request#639synchronizebysankalpsthakur
  sankalpsthakur:challenge/29-boxed

  Nov 3, 20266m 10s
  More actions for workflow run 1287

• Challenge 29: Kani contracts for Box, convert, and ThinBox

  completed successfully:
  RAPx#489:Pull request#639synchronizebysankalpsthakur
  sankalpsthakur:challenge/29-boxed

  Nov 3, 20262m 51s
  More actions for workflow run 489

• Challenge 29: Kani contracts for Box, convert, and ThinBox

  completed successfully:
  KMIR#636:Pull request#639synchronizebysankalpsthakur
  sankalpsthakur:challenge/29-boxed

  Nov 3, 202626m 31s
  More actions for workflow run 636

• Challenge 29: Kani contracts for Box, convert, and ThinBox

  completed successfully:
  Testable simd models#1062:Pull request#639synchronizebysankalpsthakur
  sankalpsthakur:challenge/29-boxed

  Nov 3, 20264m 12s
  More actions for workflow run 1062

• Challenge 29: Kani contracts for Box, convert, and ThinBox

  completed successfully:
  VeriFast (negative)#2076:Pull request#639synchronizebysankalpsthakur
  sankalpsthakur:challenge/29-boxed

  Nov 3, 202642s
  More actions for workflow run 2076

• Challenge 29: Kani contracts for Box, convert, and ThinBox

  completed successfully:
  Kani#3428:Pull request#639synchronizebysankalpsthakur
  sankalpsthakur:challenge/29-boxed

  Nov 3, 202657m 34s
  More actions for workflow run 3428

• Challenge 29: Kani contracts for Box, convert, and ThinBox

  completed successfully:
  Rust Tests#3370:Pull request#639synchronizebysankalpsthakur
  sankalpsthakur:challenge/29-boxed

  Nov 3, 202610m 13s
  More actions for workflow run 3370

• Challenge 29: Kani contracts for Box, convert, and ThinBox

  completed successfully:
  Run GOTO Transcoder (ESBMC)#2146:Pull request#639synchronizebysankalpsthakur
  sankalpsthakur:challenge/29-boxed

  Nov 3, 202617m 18s
  More actions for workflow run 2146

• Challenge 29: Kani contracts for Box, convert, and ThinBox

  completed successfully:
  Check PR Approvals#2325:Pull request#639submittedbyrajath-mk
  Nov 3, 202615s
  More actions for workflow run 2325

• Challenge 29: Kani contracts for Box, convert, and ThinBox

  failed:
  Check PR Approvals#2324:Pull request#639submittedbyrajath-mk
  Nov 3, 202619s
  More actions for workflow run 2324

• 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

  completed successfully:
  KMIR#635:Merge group checks requested
  Nov 3, 202631m 47s
  More actions for workflow run 635