Build & Tests

[Ref] Clean up docs (#1706) #4916

Sign in to view logs

Triggered via push September 20, 2024 20:59

github-merge-queue[bot]

main

Status Success

Total duration 23m 10s

Artifacts –

ci.yml

on: push

Run tests under Kani

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