Run the CBMC-latest perf suite serially to stop runner OOMs

37e2669

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

Kani Extra on: pull_request_target

Auto Label

Check Std Verification on: pull_request 10

verify-std (ubuntu-22.04)

verify-std (macos-14)

Kani Format Check on: pull_request

format-check

clippy-check

Cargo Deny on: pull_request

audit

Release Bundle on: pull_request 15

BuildBundle-MacOs-x86_64

BuildBundle-MacOs-aarch64

BuildBundle-Linux-x86_64

BuildBundle-Linux-aarch64

TestLocalToolchain (macos-15-intel)

TestLocalToolchain (macos-14)

TestLocalToolchain (ubuntu-22.04)

TestLocalToolchain (ubuntu-24.04)

TestLocalToolchain (ubuntu-24.04-arm)

TestBundle (macos-15-intel)

TestBundle (macos-14)

TestBundle (ubuntu-22.04)

TestBundle (ubuntu-24.04)

TestBundle (ubuntu-24.04-arm)

Release

Package Docker

Kani CI on: pull_request

regression (macos-15-intel)

regression (ubuntu-22.04)

regression (ubuntu-24.04)

regression (macos-14)

regression (ubuntu-24.04-arm)

benchcomp-tests

perf

llbc-regression

documentation

Kani Benchmarks on: pull_request

End-to-End Benchmarks

Compiler Benchmarks

Kani Benchmarks on: pull_request

End-to-End Benchmarks

Compiler Benchmarks

Auto Label

succeeded Aug 18, 2026 in 7s

Loading

Re-running jobs...