Back to pull request #708

[issues] Add "Customer request" template #2011

Sign in to view logs

Triggered via pull request December 10, 2023 01:23

opened #708

Status Success

Total duration 5m 38s

Artifacts –

ci.yml

on: pull_request

Run tests under Kani

Check Rust formatting

Matrix: build_test

Check README.md

Check MSRVs match

Check crate versions match

All checks succeeded