Skip to content
Build & Tests

Rename FromZeroes to FromZeros #1969

Sign in to view logs

Rename FromZeroes to FromZeros

Rename FromZeroes to FromZeros #1969

Triggered via pull request December 7, 2023 18:49
@jswrennjswrenn
synchronize #430
from-zeros
Status Success
Total duration 5m 39s
Artifacts –

ci.yml

on: pull_request
Generate cache
37s
Generate cache
Run tests under Kani
1m 37s
Run tests under Kani
Check Rust formatting
4s
Check Rust formatting
Matrix: build_test
Check README.md
9s
Check README.md
Check MSRVs match
8s
Check MSRVs match
Check crate versions match
5s
Check crate versions match
All checks succeeded
0s
All checks succeeded
Fit to window
Zoom out
Zoom in