Release-please 🐍

fix(hugr-py): ops require their own extensions (#1303) #211

Sign in to view logs

Triggered via push July 15, 2024 16:40

github-merge-queue[bot]

main

Status Success

Total duration 23s

Artifacts –

release-please.yml

on: push

Create release PR