d-flex flex-column width-full">

Merge branch 'main' into cargo-update-2025-09-08

0699979

Select commit

Loading

Failed to load commit list.

Uh oh!

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

CodeQL on: dynamic

Analyze (actions)

Analyze (c-cpp)

Analyze (python)

Analyze (rust)

Cargo Deny on: push

audit

CodeQL on: dynamic

Analyze (actions)

Analyze (c-cpp)

Analyze (python)

Analyze (rust)

Kani CI on: push 4

regression (macos-13)

regression (ubuntu-22.04)

regression (ubuntu-24.04)

regression (macos-14)

regression (ubuntu-24.04-arm)

benchcomp-tests

perf

llbc-regression

documentation

Kani Format Check on: push 1

format-check

clippy-check

Kani Format Check on: pull_request 1

format-check

clippy-check

Cargo Deny on: pull_request

audit

Check Std Verification on: pull_request 10

verify-std (ubuntu-22.04)

verify-std (macos-14)

Release Bundle on: pull_request 4

BuildBundle-MacOs-x86_64

BuildBundle-MacOs-aarch64

BuildBundle-Linux-x86_64

BuildBundle-Linux-aarch64

TestLocalToolchain (macos-13)

TestLocalToolchain (macos-14)

TestLocalToolchain (ubuntu-22.04)

TestLocalToolchain (ubuntu-24.04)

TestLocalToolchain (ubuntu-24.04-arm)

TestBundle (macos-13)

TestBundle (macos-14)

TestBundle (ubuntu-22.04)

TestBundle (ubuntu-24.04)

TestBundle (ubuntu-24.04-arm)

Release

Package Docker

Kani CI on: pull_request 4

regression (macos-13)

regression (ubuntu-22.04)

regression (ubuntu-24.04)

regression (macos-14)

regression (ubuntu-24.04-arm)

benchcomp-tests

perf

llbc-regression

documentation

Kani Extra on: pull_request_target

Auto Label

End-to-End Benchmarks / perf-benchcomp

Compiler Benchmarks / compile-timer-short

Compiler Benchmarks / compile-timer-long

Code scanning results

CodeQL

Select a check to view from the sidebar