Build & Tests

Remove obsolete safety proofs #6681

Sign in to view logs

Triggered via pull request March 7, 2025 22:27

joshlf

synchronize #2423

I70d5aa5ace6bd2e39e679eac7f00a66d4b843d57

Status Success

Total duration 3h 23m 12s

Artifacts –

ci.yml

on: pull_request

Run tests under Kani

Build (zerocopy / nightly / --simd / aarch64_be-unknown-linux-gnu)

Check Rust formatting

Check that all toolchains listed in Cargo.toml are tested in CI

Check all-jobs-succeeded depends on all jobs

Matrix: build_test

Check README.md

Check crate versions match

All checks succeeded