Skip to content
Release-please 🐍

feat: Use hugr-cli for validation (#455) #134

Sign in to view logs

feat: Use hugr-cli for validation (#455)

feat: Use hugr-cli for validation (#455) #134

Triggered via push September 6, 2024 14:37
@github-merge-queuegithub-merge-queue[bot]
pushed 1d0667b
main
Status Success
Total duration 36s
Artifacts –

release-please.yml

on: push
Create release PR
25s
Create release PR
Fit to window
Zoom out
Zoom in