Continuous integration

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

Sign in to view logs

Triggered via push September 12, 2023 17:04

github-merge-queue[bot]

Status Success

Total duration 2m 35s

Artifacts –

ci.yml

on: push

Matrix: tests