d-flex flex-column width-full">

Update Kani metrics

b2ea15a

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

Run GOTO Transcoder (ESBMC) on: pull_request

Verify contracts with goto-transcoder

Rust Tests on: pull_request

upstream_test (ubuntu-latest)

upstream_test (macos-latest)

VeriFast on: pull_request

Verify std library

Notify @btj

Build Book on: pull_request

build

deploy

Flux on: pull_request

check-flux-on-core

VeriFast (negative) on: pull_request

Verify std library

Testable simd models on: pull_request

Test testable simd models

Kani on: pull_request 14

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)

Check PR Approvals on: pull_request_review

check-approvals

The logs for this run have expired and are no longer available.

Loading

Update Kani metrics

Uh oh!

The logs for this run have expired and are no longer available.

Re-running jobs...