0.20.17

rigetti-githubbot released this 25 May 23:30

· 20 commits to main since this release

4ee7466

0.20.17 (2022-05-25)

fix

fix: github release push
fix: remove redundant git rm

Fix

Fix: find arguments
Fix: prerelease script should delete missing files
Fix: use git rm to manage release files in public repo

Assets 2