Closed notmgsk closed 1 year ago
@notmgsk Can we merge this now?
@stylewarning Can you merge this now? I've tried to fix the build issues, but it's more hassle than it's worth.
Once this is merged, you will want to create a new release through github which will create a git tag for the release. I can then go and publish a new docker image.
Draft. Need to publish a new quilc version.
Will need a tag (
v1.18.0
) when merged.Closes #316