Skip to content

feat(hugr-py): only require input type annotations when building #1003

feat(hugr-py): only require input type annotations when building

feat(hugr-py): only require input type annotations when building #1003

Triggered via pull request June 17, 2024 17:30
Status Success
Total duration 25s
Artifacts

ci-rs.yml

on: pull_request
Check for changes in Rust files
4s
Check for changes in Rust files
check
0s
check
tests (Rust stable, no features)
0s
tests (Rust stable, no features)
tests (Rust stable, all features)
0s
tests (Rust stable, all features)
Matrix: tests-other
Build benchmarks 🏋️
0s
Build benchmarks 🏋️
Required checks 🦀
0s
Required checks 🦀
coverage
0s
coverage
Fit to window
Zoom out
Zoom in