All workflows

Workflow runs

• New challenge: Safety and correctness of integer logarithms

  queued:
  Check PR Approvals#2271:Pull request#729submittedbyfeliperodri
  Nov 2, 2026Queued
  More actions for workflow run 2271

• Merge subtree update for toolchain nightly-2026-10-22 (#737)

  currently running:
  Rust Tests#3354:Commit233f96fpushedbygithub-merge-queue[bot]Bot
  gh-readonly-queue/main/pr-737-71410213d76deef6b6c76a00bbfac72731efccdf

  Nov 2, 2026In progress
  More actions for workflow run 3354

• Merge subtree update for toolchain nightly-2026-10-22 (#737)

  currently running:
  Kani#3412:Commit233f96fpushedbygithub-merge-queue[bot]Bot
  gh-readonly-queue/main/pr-737-71410213d76deef6b6c76a00bbfac72731efccdf

  Nov 2, 2026In progress
  More actions for workflow run 3412

• Merge subtree update for toolchain nightly-2026-10-22 (#737)

  completed successfully:
  VeriFast#2074:Commit233f96fpushedbygithub-merge-queue[bot]Bot
  gh-readonly-queue/main/pr-737-71410213d76deef6b6c76a00bbfac72731efccdf

  Nov 2, 202651s
  More actions for workflow run 2074

• Merge subtree update for toolchain nightly-2026-10-22 (#737)

  completed successfully:
  VeriFast (negative)#2060:Commit233f96fpushedbygithub-merge-queue[bot]Bot
  gh-readonly-queue/main/pr-737-71410213d76deef6b6c76a00bbfac72731efccdf

  Nov 2, 202648s
  More actions for workflow run 2060

• Merge subtree update for toolchain nightly-2026-10-22 (#737)

  currently running:
  Run GOTO Transcoder (ESBMC)#2130:Commit233f96fpushedbygithub-merge-queue[bot]Bot
  gh-readonly-queue/main/pr-737-71410213d76deef6b6c76a00bbfac72731efccdf

  Nov 2, 2026In progress
  More actions for workflow run 2130

• Kani

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

• Rust Tests

  currently running:
  Rust Tests#3353:Merge group checks requested
  Nov 2, 2026In progress
  More actions for workflow run 3353

• VeriFast (negative)

  completed successfully:
  VeriFast (negative)#2059:Merge group checks requested
  Nov 2, 202649s
  More actions for workflow run 2059

• KMIR

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

• Run GOTO Transcoder (ESBMC)

  currently running:
  Run GOTO Transcoder (ESBMC)#2129:Merge group checks requested
  Nov 2, 2026In progress
  More actions for workflow run 2129

• Build Book

  currently running:
  Build Book#3193:Merge group checks requested
  Nov 2, 2026In progress
  More actions for workflow run 3193

• VeriFast

  completed successfully:
  VeriFast#2073:Merge group checks requested
  Nov 2, 202647s
  More actions for workflow run 2073

• Check PR Approvals

  completed successfully:
  Check PR Approvals#2270:Merge group checks requested
  Nov 2, 202613s
  More actions for workflow run 2270

• Testable simd models

  completed successfully:
  Testable simd models#1048:Merge group checks requested
  Nov 2, 20263m 40s
  More actions for workflow run 1048

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

  completed successfully:
  Check PR Approvals#2269:Pull request#737submittedbyHuStmpHrrr
  Nov 2, 202616s
  More actions for workflow run 2269

• New challenge: Safety and correctness of integer logarithms

  completed successfully:
  Flux#1273:Pull request#729synchronizebyfeliperodri
  Kieran-Hulsman:kieran/ilog-challenge-proposal

  Nov 2, 20263m 55s
  More actions for workflow run 1273

• New challenge: Safety and correctness of integer logarithms

  completed successfully:
  VeriFast (negative)#2058:Pull request#729synchronizebyfeliperodri
  Kieran-Hulsman:kieran/ilog-challenge-proposal

  Nov 2, 202642s
  More actions for workflow run 2058

• New challenge: Safety and correctness of integer logarithms

  completed successfully:
  Build Book#3192:Pull request#729synchronizebyfeliperodri
  Kieran-Hulsman:kieran/ilog-challenge-proposal

  Nov 2, 20267m 15s
  More actions for workflow run 3192

• New challenge: Safety and correctness of integer logarithms

  skipped:
  Kani autoharness on request#4:Pull request#729synchronizebyfeliperodri
  Kieran-Hulsman:kieran/ilog-challenge-proposal

  Nov 2, 20261s
  More actions for workflow run 4

• New challenge: Safety and correctness of integer logarithms

  completed successfully:
  Testable simd models#1047:Pull request#729synchronizebyfeliperodri
  Kieran-Hulsman:kieran/ilog-challenge-proposal

  Nov 2, 20264m 46s
  More actions for workflow run 1047

• New challenge: Safety and correctness of integer logarithms

  currently running:
  Kani#3410:Pull request#729synchronizebyfeliperodri
  Kieran-Hulsman:kieran/ilog-challenge-proposal

  Nov 2, 2026In progress
  More actions for workflow run 3410

• New challenge: Safety and correctness of integer logarithms

  completed successfully:
  Rust Tests#3352:Pull request#729synchronizebyfeliperodri
  Kieran-Hulsman:kieran/ilog-challenge-proposal

  Nov 2, 20267m 54s
  More actions for workflow run 3352

• New challenge: Safety and correctness of integer logarithms

  completed successfully:
  VeriFast#2072:Pull request#729synchronizebyfeliperodri
  Kieran-Hulsman:kieran/ilog-challenge-proposal

  Nov 2, 202647s
  More actions for workflow run 2072

• New challenge: Safety and correctness of integer logarithms

  completed successfully:
  RAPx#475:Pull request#729synchronizebyfeliperodri
  Kieran-Hulsman:kieran/ilog-challenge-proposal

  Nov 2, 20261m 46s
  More actions for workflow run 475