d-flex flex-column width-full">

Merge remote-tracking branch 'origin/main' into fix-toolchain-2025-12-04

3ec31f2

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 1

Auto Label

End-to-End Benchmarks / perf-benchcomp

Compiler Benchmarks / compile-timer-short

Compiler Benchmarks / compile-timer-long

Cargo Deny on: pull_request

audit

Kani Format Check on: pull_request 1

format-check

clippy-check

Release Bundle on: pull_request 12

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 9

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

Check Std Verification on: pull_request 8

verify-std (ubuntu-22.04)

verify-std (macos-14)

Auto Label

succeeded Jul 7, 2026 in 5s

Loading

Merge remote-tracking branch 'origin/main' into fix-toolchain-2025-12-04

Uh oh!

Re-running jobs...