Skip to content
Back to pull request #1256

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Check for changes in Python files
5s
Build HUGR binary
1m 31s
Check serialization schema
21s
check python 3.10
22s
check python 3.12
20s
check python 3.10
25s
check python 3.12
17s
coverage
35s
Required checks 🐍
1s
3m 57s