chore: update to hugr 0.14.4 (#785) #2693
github-merge-queue[bot]ci.yml
on: push
Check for changes
4s
Check Rust code 🦀
2m 13s
Check Python code 🐍
2m 32s
tests (Rust stable, no features)
2m 11s
tests (Python, coverage)
2m 32s
Continuous benchmarking 🏋️
4m 24s
tests (Rust nightly, coverage)
2m 40s
Matrix: tests-rs-other
Required checks 🦀+🐍
0s
Annotations
10 notices
|
sccache stats
12% - 36 hits, 259 misses, 0 errors
|
|
sccache stats
0% - 0 hits, 173 misses, 0 errors
|
|
sccache stats
0% - 0 hits, 240 misses, 0 errors
|
|
sccache stats
0% - 0 hits, 173 misses, 0 errors
|
|
sccache stats
0% - 0 hits, 232 misses, 0 errors
|
|
sccache stats
16% - 36 hits, 187 misses, 0 errors
|
|
sccache stats
15% - 36 hits, 197 misses, 0 errors
|
|
sccache stats
11% - 25 hits, 212 misses, 0 errors
|
|
sccache stats
9% - 21 hits, 216 misses, 0 errors
|
|
sccache stats
0% - 0 hits, 165 misses, 0 errors
|