Skip to content

fix: extract_hugr not removing root node ports #1124

fix: extract_hugr not removing root node ports

fix: extract_hugr not removing root node ports #1124

Triggered via pull request June 28, 2024 10:26
Status Success
Total duration 22s
Artifacts

ci-py.yml

on: pull_request
Check for changes in Python files
4s
Check for changes in Python files
Matrix: check
Check serialization schema
0s
Check serialization schema
Build HUGR binary
0s
Build HUGR binary
Matrix: test
Required checks 🐍
0s
Required checks 🐍
coverage
0s
coverage
Fit to window
Zoom out
Zoom in