[create-pull-request] automated change

2c2734a

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 8

Analyze (actions)

Analyze (c-cpp)

Analyze (python)

Analyze (rust)

Code scanning results

CodeQL

Testable simd models on: pull_request

Test testable simd models

Build Book on: pull_request

build

deploy

VeriFast on: pull_request 1

Verify std library

Notify @btj

VeriFast (negative) on: pull_request

Verify std library

Kani on: pull_request 27

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

Rust Tests on: pull_request 3

upstream_test (ubuntu-latest)

upstream_test (macos-latest)

Flux on: pull_request 2

check-flux-on-core

Run GOTO Transcoder (ESBMC) on: pull_request 1

Verify contracts with goto-transcoder

Annotations

2 warnings

Cannot create diff range extension pack for diff-informed queries; reverting to performing full analysis.

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

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

Loading

[create-pull-request] automated change

Uh oh!

Annotations

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

Re-running jobs...