d-flex flex-column width-full">

Update Kani metrics

7452d80

Select commit

Loading

Failed to load commit list.

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

Check PR Approvals on: pull_request_review 1

check-approvals

Build Book on: pull_request

build

deploy

Kani on: pull_request 10

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 List

Kani Autoharness Analyzer

VeriFast on: pull_request

Verify std library

Notify @btj

Rust Tests on: pull_request

upstream_test (ubuntu-latest)

upstream_test (macos-latest)

Run GOTO Transcoder (ESBMC) on: pull_request

Verify contracts with goto-transcoder

VeriFast (negative) on: pull_request

Verify std library

Check PR Approvals on: pull_request_review

check-approvals

Annotations

1 error

PR needs 2 approvals from committee members, but it has 1

Loading