Skip to content

chore(main): release hugr-py 0.10.0 #2800

chore(main): release hugr-py 0.10.0

chore(main): release hugr-py 0.10.0 #2800

Triggered via pull request December 4, 2024 09:53
Status Success
Total duration 24s
Artifacts

ci-rs.yml

on: pull_request
Check for changes
3s
Check for changes
tests (Rust stable, all features)
0s
tests (Rust stable, all features)
check
0s
check
tests (Rust stable, no features)
0s
tests (Rust stable, no features)
Build benchmarks 🏋️
0s
Build benchmarks 🏋️
tests (Rust nightly, coverage)
0s
tests (Rust nightly, coverage)
Matrix: tests-other
Matrix: tests hugr-llvm
Check standard extensions
0s
Check standard extensions
Required checks 🦀
1s
Required checks 🦀
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Check for changes
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