Skip to content

feat: Print []+[] as Bool and [] as Unit in user-facing messages #2837

feat: Print []+[] as Bool and [] as Unit in user-facing messages

feat: Print []+[] as Bool and [] as Unit in user-facing messages #2837

Triggered via pull request December 9, 2024 17:07
Status Success
Total duration 5m 33s
Artifacts 1

ci-rs.yml

on: pull_request
Check for changes
4s
Check for changes
tests (Rust stable, all features)
1m 46s
tests (Rust stable, all features)
check
1m 29s
check
tests (Rust stable, no features)
1m 16s
tests (Rust stable, no features)
Build benchmarks 🏋️
2m 33s
Build benchmarks 🏋️
tests (Rust nightly, coverage)
5m 8s
tests (Rust nightly, coverage)
Matrix: tests-other
Matrix: tests hugr-llvm
Check standard extensions
6s
Check standard extensions
Required checks 🦀
0s
Required checks 🦀
Fit to window
Zoom out
Zoom in

Annotations

10 warnings and 7 notices
Check for changes
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
tests (Rust stable, no features)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
check
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
tests (Rust stable, all features)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Check standard extensions
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Required checks 🦀
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Build benchmarks 🏋️
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
tests (Rust 1.75)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
tests (Rust beta)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
tests (Rust nightly, coverage)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
sccache stats
93% - 247 hits, 19 misses, 0 errors
sccache stats
80% - 249 hits, 62 misses, 0 errors
sccache stats
90% - 284 hits, 31 misses, 0 errors
sccache stats
84% - 157 hits, 31 misses, 0 errors
sccache stats
85% - 247 hits, 43 misses, 0 errors
sccache stats
38% - 111 hits, 179 misses, 0 errors
sccache stats
5% - 15 hits, 304 misses, 0 errors

Artifacts

Produced during runtime
Name Size
hugr_binary
12.9 MB