Skip to content

Merge branch 'dev' - release v0.1.3 #86

Merge branch 'dev' - release v0.1.3

Merge branch 'dev' - release v0.1.3 #86

ubuntu / stable / coverage

succeeded Oct 14, 2024 in 52s
Set up job
2s
Run actions/checkout@v4
0s
Install stable
3s
cargo install cargo-llvm-cov
2s
cargo llvm-cov
36s
Record Rust version
0s
Upload to codecov.io
5s
Post Run actions/checkout@v4
0s
Complete job
0s