All workflows

Workflow runs

• Nightly: CBMC Latest

  failed:
  Nightly: CBMC Latest#1398:Scheduled
  main

  Oct 30, 202653m 50s
  More actions for workflow run 1398

• Nightly: Slow tests

  completed successfully:
  Nightly: Slow tests#1509:Scheduled
  main

  Oct 30, 202617m 4s
  More actions for workflow run 1509

• Add a Nix flake: Kani releases, version selection and a development shell reproducible

  requires action with the application:
  Cargo Deny#6405:Pull request#5098openedbylalvesl
  lalvesl:nix-flake

  Oct 30, 2026Action required
  More actions for workflow run 6405

• Add a Nix flake: Kani releases, version selection and a development shell reproducible

  requires action with the application:
  Kani Benchmarks#776:Pull request#5098openedbylalvesl
  lalvesl:nix-flake

  Oct 30, 2026Action required
  More actions for workflow run 776

• Add a Nix flake: Kani releases, version selection and a development shell reproducible

  requires action with the application:
  Kani Format Check#14214:Pull request#5098openedbylalvesl
  lalvesl:nix-flake

  Oct 30, 2026Action required
  More actions for workflow run 14214

• Add a Nix flake: Kani releases, version selection and a development shell reproducible

  requires action with the application:
  Check Std Verification#3313:Pull request#5098openedbylalvesl
  lalvesl:nix-flake

  Oct 30, 2026Action required
  More actions for workflow run 3313

• Add a Nix flake: Kani releases, version selection and a development shell reproducible

  requires action with the application:
  Release Bundle#7381:Pull request#5098openedbylalvesl
  lalvesl:nix-flake

  Oct 30, 2026Action required
  More actions for workflow run 7381

• Add a Nix flake: Kani releases, version selection and a development shell reproducible

  requires action with the application:
  Kani CI#14386:Pull request#5098openedbylalvesl
  lalvesl:nix-flake

  Oct 30, 2026Action required
  More actions for workflow run 14386

• Add a Nix flake: Kani releases, version selection and a development shell reproducible

  completed successfully:
  Kani Extra#6059:Pull request#5098openedbylalvesl
  Oct 30, 20269s
  More actions for workflow run 6059

• Attempt toolchain update

  completed successfully:
  Attempt toolchain update#1493:Scheduled
  main

  Oct 30, 20263m 3s
  More actions for workflow run 1493

• Restructure and update the autoharness reference page

  requires action with the application:
  Kani Benchmarks#775:Pull request#4991synchronizebyCYJ904
  CYJ904:docs/autoharness-restructure

  Oct 29, 2026Action required
  More actions for workflow run 775

• Restructure and update the autoharness reference page

  requires action with the application:
  Kani Format Check#14213:Pull request#4991synchronizebyCYJ904
  CYJ904:docs/autoharness-restructure

  Oct 29, 2026Action required
  More actions for workflow run 14213

• Restructure and update the autoharness reference page

  requires action with the application:
  Kani CI#14385:Pull request#4991synchronizebyCYJ904
  CYJ904:docs/autoharness-restructure

  Oct 29, 2026Action required
  More actions for workflow run 14385

• Restructure and update the autoharness reference page

  requires action with the application:
  Release Bundle#7380:Pull request#4991synchronizebyCYJ904
  CYJ904:docs/autoharness-restructure

  Oct 29, 2026Action required
  More actions for workflow run 7380

• Restructure and update the autoharness reference page

  requires action with the application:
  Cargo Deny#6404:Pull request#4991synchronizebyCYJ904
  CYJ904:docs/autoharness-restructure

  Oct 29, 2026Action required
  More actions for workflow run 6404

• Restructure and update the autoharness reference page

  requires action with the application:
  Check Std Verification#3312:Pull request#4991synchronizebyCYJ904
  CYJ904:docs/autoharness-restructure

  Oct 29, 2026Action required
  More actions for workflow run 3312

• Restructure and update the autoharness reference page

  completed successfully:
  Kani Extra#6058:Pull request#4991synchronizebyCYJ904
  Oct 29, 20261h 0m 55s
  More actions for workflow run 6058

• Nightly: CBMC Latest

  failed:
  Nightly: CBMC Latest#1397:Scheduled
  main

  Oct 29, 202652m 37s
  More actions for workflow run 1397

• Nightly: Slow tests

  completed successfully:
  Nightly: Slow tests#1508:Scheduled
  main

  Oct 29, 202613m 57s
  More actions for workflow run 1508

• Attempt toolchain update

  completed successfully:
  Attempt toolchain update#1492:Scheduled
  main

  Oct 29, 20264m 3s
  More actions for workflow run 1492

• Disable MIR inlining when stubbing is enabled

  requires action with the application:
  Check Std Verification#3311:Pull request#5095openedbyr-near
  r-near:fix-stub-mir-inline

  Oct 28, 2026Action required
  More actions for workflow run 3311

• Disable MIR inlining when stubbing is enabled

  requires action with the application:
  Cargo Deny#6403:Pull request#5095openedbyr-near
  r-near:fix-stub-mir-inline

  Oct 28, 2026Action required
  More actions for workflow run 6403

• Disable MIR inlining when stubbing is enabled

  requires action with the application:
  Kani Benchmarks#774:Pull request#5095openedbyr-near
  r-near:fix-stub-mir-inline

  Oct 28, 2026Action required
  More actions for workflow run 774

• Disable MIR inlining when stubbing is enabled

  requires action with the application:
  Kani Format Check#14212:Pull request#5095openedbyr-near
  r-near:fix-stub-mir-inline

  Oct 28, 2026Action required
  More actions for workflow run 14212

• Disable MIR inlining when stubbing is enabled

  completed successfully:
  Kani Extra#6057:Pull request#5095openedbyr-near
  Oct 28, 202632m 48s
  More actions for workflow run 6057