Unsoundness checks

HugrMut: validate nodes for set_metadata/get_metadata_mut, too (#531) #198

Sign in to view logs

Triggered via push September 12, 2023 17:04

github-merge-queue[bot]

Status Success

Total duration 18m 45s

Artifacts –

unsoundness.yml

on: push