Update Kani metrics

6bab284

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)

RAPx on: pull_request 1

Verify core::slice with RAPx

Build Book on: pull_request 1

build

deploy

Run GOTO Transcoder (ESBMC) on: pull_request 1

Verify contracts with goto-transcoder

VeriFast on: pull_request 1

Verify std library

Notify @btj

KMIR on: pull_request 2

Run KMIR proofs

Run KMIR negative proofs

Flux on: pull_request 1

check-flux-on-core

Rust Tests on: pull_request 2

upstream_test (ubuntu-latest)

upstream_test (macos-latest)

Kani on: pull_request 41

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)

Testable simd models on: pull_request 1

Test testable simd models

VeriFast (negative) on: pull_request 1

Verify std library

Code scanning results

CodeQL

Check PR Approvals on: pull_request_review 1

check-approvals

Analyze (rust)

succeeded Aug 30, 2026 in 23m 14s

Loading

Re-running jobs...