HugrMut: validate nodes for set_metadata/get_metadata_mut, too #1757
Triggered via pull request
September 12, 2023 16:59
Status
Success
Total duration
2m 49s
Artifacts
–
ci.yml
on: pull_request
check
56s
benches
2m 36s
Matrix: tests