All workflows

Workflow runs

• Automatic cargo update to 2026-11-02

  failed:
  Kani CI#14394:Pull request#5105openedbygithub-actions[bot]Bot
  cargo-update-2026-11-02

  Nov 2, 20266m 41s
  More actions for workflow run 14394

• Automatic cargo update to 2026-11-02

  failed:
  Kani Benchmarks#784:Pull request#5105openedbygithub-actions[bot]Bot
  cargo-update-2026-11-02

  Nov 2, 20266m 41s
  More actions for workflow run 784

• Automatic cargo update to 2026-11-02

  failed:
  Release Bundle#7389:Pull request#5105openedbygithub-actions[bot]Bot
  cargo-update-2026-11-02

  Nov 2, 20266m 41s
  More actions for workflow run 7389

• Automatic cargo update to 2026-11-02

  failed:
  Kani Format Check#14222:Pull request#5105openedbygithub-actions[bot]Bot
  cargo-update-2026-11-02

  Nov 2, 20266m 41s
  More actions for workflow run 14222

• Automatic cargo update to 2026-11-02

  failed:
  Cargo Deny#6413:Pull request#5105openedbygithub-actions[bot]Bot
  cargo-update-2026-11-02

  Nov 2, 20266m 41s
  More actions for workflow run 6413

• Automatic cargo update to 2026-11-02

  failed:
  Check Std Verification#3321:Pull request#5105openedbygithub-actions[bot]Bot
  cargo-update-2026-11-02

  Nov 2, 20266m 41s
  More actions for workflow run 3321

• Push on cargo-update-2026-11-02

  currently running:
  CodeQL#1818:bygithub-actions[bot]Bot
  cargo-update-2026-11-02

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

• PR #5105

  currently running:
  CodeQL#1817:bygithub-actions[bot]Bot
  refs/pull/5105/head

  Nov 2, 2026In progress

• Attempt cargo update

  completed successfully:
  Attempt cargo update#154:Scheduled
  main

  Nov 2, 20265m 29s
  More actions for workflow run 154

• Attempt toolchain update

  completed successfully:
  Attempt toolchain update#1496:Scheduled
  main

  Nov 2, 20263m 8s
  More actions for workflow run 1496

• Move an owned receiver into the replace closure so const fns with contracts compile

  requires action with the application:
  Check Std Verification#3320:Pull request#4985synchronizebykasimte
  kasimte:fix-const-owned-receiver

  Nov 1, 2026Action required
  More actions for workflow run 3320

• Move an owned receiver into the replace closure so const fns with contracts compile

  requires action with the application:
  Kani Benchmarks#783:Pull request#4985synchronizebykasimte
  kasimte:fix-const-owned-receiver

  Nov 1, 2026Action required
  More actions for workflow run 783

• Move an owned receiver into the replace closure so const fns with contracts compile

  requires action with the application:
  Cargo Deny#6412:Pull request#4985synchronizebykasimte
  kasimte:fix-const-owned-receiver

  Nov 1, 2026Action required
  More actions for workflow run 6412

• Move an owned receiver into the replace closure so const fns with contracts compile

  completed successfully:
  Kani Extra#6066:Pull request#4985synchronizebykasimte
  Nov 1, 202610s
  More actions for workflow run 6066

• Move an owned receiver into the replace closure so const fns with contracts compile

  requires action with the application:
  Kani CI#14393:Pull request#4985synchronizebykasimte
  kasimte:fix-const-owned-receiver

  Nov 1, 2026Action required
  More actions for workflow run 14393

• Move an owned receiver into the replace closure so const fns with contracts compile

  requires action with the application:
  Release Bundle#7388:Pull request#4985synchronizebykasimte
  kasimte:fix-const-owned-receiver

  Nov 1, 2026Action required
  More actions for workflow run 7388

• Move an owned receiver into the replace closure so const fns with contracts compile

  requires action with the application:
  Kani Format Check#14221:Pull request#4985synchronizebykasimte
  kasimte:fix-const-owned-receiver

  Nov 1, 2026Action required
  More actions for workflow run 14221

• Check slice element reads under -Z valid-value-checks

  requires action with the application:
  Kani CI#14392:Pull request#5073synchronizebykasimte
  kasimte:fix-5022-slice-element-validity

  Nov 1, 2026Action required
  More actions for workflow run 14392

• Check slice element reads under -Z valid-value-checks

  requires action with the application:
  Check Std Verification#3319:Pull request#5073synchronizebykasimte
  kasimte:fix-5022-slice-element-validity

  Nov 1, 2026Action required
  More actions for workflow run 3319

• Check slice element reads under -Z valid-value-checks

  requires action with the application:
  Release Bundle#7387:Pull request#5073synchronizebykasimte
  kasimte:fix-5022-slice-element-validity

  Nov 1, 2026Action required
  More actions for workflow run 7387

• Check slice element reads under -Z valid-value-checks

  requires action with the application:
  Kani Benchmarks#782:Pull request#5073synchronizebykasimte
  kasimte:fix-5022-slice-element-validity

  Nov 1, 2026Action required
  More actions for workflow run 782

• Check slice element reads under -Z valid-value-checks

  requires action with the application:
  Cargo Deny#6411:Pull request#5073synchronizebykasimte
  kasimte:fix-5022-slice-element-validity

  Nov 1, 2026Action required
  More actions for workflow run 6411

• Check slice element reads under -Z valid-value-checks

  requires action with the application:
  Kani Format Check#14220:Pull request#5073synchronizebykasimte
  kasimte:fix-5022-slice-element-validity

  Nov 1, 2026Action required
  More actions for workflow run 14220

• Check slice element reads under -Z valid-value-checks

  completed successfully:
  Kani Extra#6065:Pull request#5073synchronizebykasimte
  Nov 1, 202611s
  More actions for workflow run 6065

• Nightly: CBMC Latest

  failed:
  Nightly: CBMC Latest#1400:Scheduled
  main

  Nov 1, 202640m 6s
  More actions for workflow run 1400