Merge branch 'main' into fix-4866-toolchain-2026-09-24

22b2692

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 CI on: pull_request 6

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

Release Bundle on: pull_request 10

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

Check Std Verification on: pull_request 8

verify-std (ubuntu-22.04)

verify-std (macos-14)

Kani Format Check on: pull_request 2

format-check

clippy-check

Kani Extra on: pull_request_target 2

Auto Label

Cargo Deny on: pull_request 1

audit

Kani Benchmarks on: pull_request

End-to-End Benchmarks / perf-benchcomp

Compiler Benchmarks / compile-timer-short

Compiler Benchmarks / compile-timer-long

perf

succeeded Sep 25, 2026 in 53m 41s

Loading

Re-running jobs...