Skip to content

feat(hugr-py): IndexDfg builder for appending operations by index #1203

feat(hugr-py): IndexDfg builder for appending operations by index

feat(hugr-py): IndexDfg builder for appending operations by index #1203

Triggered via pull request July 5, 2024 09:56
@ss2165ss2165
synchronize #1256
ss/py-circ
Status Success
Total duration 25s
Artifacts

ci-rs.yml

on: pull_request
Check for changes in Rust files
6s
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