All workflows

Workflow runs

• Nightly: CBMC Latest

  failed:
  Nightly: CBMC Latest#1405:Scheduled
  main

  Nov 6, 202650m 35s
  More actions for workflow run 1405

• Add a loop's dead temporaries and loop-body variables to an explicit loop_modifies

  failed:
  Kani Benchmarks#820:Pull request#5071synchronizebyhung1962003
  hung1962003:loop-modifies-dead-locals

  Nov 6, 20261h 13m 52s
  More actions for workflow run 820

• Add a loop's dead temporaries and loop-body variables to an explicit loop_modifies

  cancelled:
  Kani CI#14445:Pull request#5071synchronizebyhung1962003
  hung1962003:loop-modifies-dead-locals

  Nov 6, 20261h 4m 52s
  More actions for workflow run 14445

• Add a loop's dead temporaries and loop-body variables to an explicit loop_modifies

  completed successfully:
  Cargo Deny#6464:Pull request#5071synchronizebyhung1962003
  hung1962003:loop-modifies-dead-locals

  Nov 6, 20261m 0s
  More actions for workflow run 6464

• Add a loop's dead temporaries and loop-body variables to an explicit loop_modifies

  cancelled:
  Check Std Verification#3354:Pull request#5071synchronizebyhung1962003
  hung1962003:loop-modifies-dead-locals

  Nov 6, 20264m 7s
  More actions for workflow run 3354

• Add a loop's dead temporaries and loop-body variables to an explicit loop_modifies

  completed successfully:
  Kani Format Check#14273:Pull request#5071synchronizebyhung1962003
  hung1962003:loop-modifies-dead-locals

  Nov 6, 20269m 35s
  More actions for workflow run 14273

• Add a loop's dead temporaries and loop-body variables to an explicit loop_modifies

  cancelled:
  Release Bundle#7434:Pull request#5071synchronizebyhung1962003
  hung1962003:loop-modifies-dead-locals

  Nov 6, 202613m 2s
  More actions for workflow run 7434

• Add a loop's dead temporaries and loop-body variables to an explicit loop_modifies

  completed successfully:
  Kani Extra#6105:Pull request#5071synchronizebyhung1962003
  Nov 6, 202611s
  More actions for workflow run 6105

• Nightly: Slow tests

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

  Nov 6, 202610m 44s
  More actions for workflow run 1516

• Add the Kani agent plugin: verify-rust skill, helper scripts, and kani-mcp

  cancelled:
  Kani CI#14444:Pull request#5059synchronizebyfeliperodri
  feliperodri:agent-plugin-v1

  Nov 6, 20261h 0m 18s
  More actions for workflow run 14444

• Add the Kani agent plugin: verify-rust skill, helper scripts, and kani-mcp

  completed successfully:
  Kani Benchmarks#819:Pull request#5059synchronizebyfeliperodri
  feliperodri:agent-plugin-v1

  Nov 6, 20261h 20m 0s
  More actions for workflow run 819

• Add the Kani agent plugin: verify-rust skill, helper scripts, and kani-mcp

  completed successfully:
  Cargo Deny#6463:Pull request#5059synchronizebyfeliperodri
  feliperodri:agent-plugin-v1

  Nov 6, 202655s
  More actions for workflow run 6463

• Add the Kani agent plugin: verify-rust skill, helper scripts, and kani-mcp

  completed successfully:
  Kani Format Check#14272:Pull request#5059synchronizebyfeliperodri
  feliperodri:agent-plugin-v1

  Nov 6, 20262m 44s
  More actions for workflow run 14272

• Add the Kani agent plugin: verify-rust skill, helper scripts, and kani-mcp

  cancelled:
  Check Std Verification#3353:Pull request#5059synchronizebyfeliperodri
  feliperodri:agent-plugin-v1

  Nov 6, 20269m 4s
  More actions for workflow run 3353

• Add the Kani agent plugin: verify-rust skill, helper scripts, and kani-mcp

  cancelled:
  Release Bundle#7433:Pull request#5059synchronizebyfeliperodri
  feliperodri:agent-plugin-v1

  Nov 6, 202613m 8s
  More actions for workflow run 7433

• Add the Kani agent plugin: verify-rust skill, helper scripts, and kani-mcp

  failed:
  Agent Plugin#8:Pull request#5059synchronizebyfeliperodri
  feliperodri:agent-plugin-v1

  Nov 6, 20261m 9s
  More actions for workflow run 8

• Add the Kani agent plugin: verify-rust skill, helper scripts, and kani-mcp

  completed successfully:
  Kani Extra#6104:Pull request#5059synchronizebyfeliperodri
  Nov 6, 202612s
  More actions for workflow run 6104

• Attempt toolchain update

  completed successfully:
  Attempt toolchain update#1500:Scheduled
  main

  Nov 6, 20263m 36s
  More actions for workflow run 1500

• Running Copilot Code Review

  failed:
  Copilot#188:byCopilotAI
  main

  Nov 5, 20261h 36m 32s

• Aliasing checks: Tree Borrows monitor and its Verus proof

  failed:
  Kani Benchmarks#818:Pull request#5120labeledbyfeliperodri
  feliperodri:aliasing-monitor-verus

  Nov 5, 20261h 21m 35s
  More actions for workflow run 818

• RFC: Aliasing checks

  skipped:
  Kani Benchmarks#817:Pull request#5111synchronizebyfeliperodri
  feliperodri:rfc-aliasing-checks

  Nov 5, 20261s
  More actions for workflow run 817

• RFC: Aliasing checks

  completed successfully:
  Kani CI#14443:Pull request#5111synchronizebyfeliperodri
  feliperodri:rfc-aliasing-checks

  Nov 5, 20261h 15m 41s
  More actions for workflow run 14443

• RFC: Aliasing checks

  completed successfully:
  Check Std Verification#3352:Pull request#5111synchronizebyfeliperodri
  feliperodri:rfc-aliasing-checks

  Nov 5, 202613m 34s
  More actions for workflow run 3352

• RFC: Aliasing checks

  completed successfully:
  Release Bundle#7432:Pull request#5111synchronizebyfeliperodri
  feliperodri:rfc-aliasing-checks

  Nov 5, 202627m 23s
  More actions for workflow run 7432

• RFC: Aliasing checks

  completed successfully:
  Cargo Deny#6462:Pull request#5111synchronizebyfeliperodri
  feliperodri:rfc-aliasing-checks

  Nov 5, 202629m 37s
  More actions for workflow run 6462