Skip to content

chore(main): release hugr-py 0.8.0 #2028

chore(main): release hugr-py 0.8.0

chore(main): release hugr-py 0.8.0 #2028

Triggered via pull request August 30, 2024 15:55
Status Success
Total duration 22s
Artifacts

ci-rs.yml

on: pull_request
Check for changes in Rust files
4s
Check for changes in Rust files
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
Check standard extensions
0s
Check standard extensions
Required checks 🦀
0s
Required checks 🦀
Fit to window
Zoom out
Zoom in