Skip to content
Unsoundness checks

feat(py): Hugr.to_json and .load_json helpers (#1403) #726

Sign in to view logs

feat(py): Hugr.to_json and .load_json helpers (#1403)

feat(py): Hugr.to_json and .load_json helpers (#1403) #726

Triggered via push August 12, 2024 09:50
@github-merge-queuegithub-merge-queue[bot]
pushed e7f9f4c
main
Status Success
Total duration 33m 30s
Artifacts –

unsoundness.yml

on: push
Miri
33m 22s
Miri
Fit to window
Zoom out
Zoom in