d-flex flex-column width-full">

Update Kani metrics

43375f6

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

Analyze (actions)

Analyze (c-cpp)

Analyze (python)

Analyze (rust)

Code scanning results

CodeQL

Rust Tests on: pull_request 2

upstream_test (ubuntu-latest)

upstream_test (macos-latest)

VeriFast on: pull_request 1

Verify std library

Notify @btj

Testable simd models on: pull_request 1

Test testable simd models

Kani on: pull_request 29

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 (ubuntu-latest)

Build JSON from logs (macos-latest)

Build Book on: pull_request 1

build

deploy

VeriFast (negative) on: pull_request 1

Verify std library

Run GOTO Transcoder (ESBMC) on: pull_request 1

Verify contracts with goto-transcoder

Flux on: pull_request 2

check-flux-on-core

Check PR Approvals on: pull_request_review 1

check-approvals

Analyze (python)

succeeded May 24, 2026 in 54s

Loading

Update Kani metrics

Uh oh!

Re-running jobs...