Bump Kani to main HEAD (ebed1d1) to test CI-only E0080

3746989

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

Sign in for the full log view

CodeQL on: dynamic 4

Analyze (actions)

Analyze (c-cpp)

Analyze (python)

Analyze (rust)

VeriFast on: pull_request 4

Verify std library

Notify @btj

Run GOTO Transcoder (ESBMC) on: pull_request 2

Verify contracts with goto-transcoder

Kani on: pull_request 3

Verify std library (partition 1)

Verify std library (partition 2)

Verify std library (partition 3)

Verify std library (partition 4)

Verify std library (partition 1)

Verify std library (partition 2)

Verify std library (partition 3)

Verify std library (partition 4)

Verify std library using autoharness (ubuntu-latest)

Verify std library using autoharness (macos-latest)

Kani Metrics (ubuntu-latest)

Kani Metrics (macos-latest)

Kani List

Kani Autoharness Analyzer

Build JSON from logs

Build Book on: pull_request 1

build

deploy

RAPx on: pull_request 1

Verify core::slice with RAPx

Rust Tests on: pull_request 2

upstream_test (ubuntu-latest)

upstream_test (macos-latest)

Testable simd models on: pull_request 1

Test testable simd models

KMIR on: pull_request 2

Run KMIR proofs

Run KMIR negative proofs

VeriFast (negative) on: pull_request 1

Verify std library

Flux on: pull_request 3

check-flux-on-core

Code scanning results

CodeQL

Annotations

1 warning

Initialize CodeQL

Cannot retrieve the full diff because there are too many (300) changed files in the pull request.

Analyze (c-cpp)

succeeded Sep 14, 2026 in 49s

Loading

Bump Kani to main HEAD (ebed1d1) to test CI-only E0080

Uh oh!

Annotations

Re-running jobs...