Closed anirrudh closed 1 year ago
This PR addresses some issues dealing with broken github actions and fixes a couple URLs in the README.
Thanks @jaimergp, merging.
Just an xref, addresses #254
This PR addresses some issues dealing with broken github actions and fixes a couple URLs in the README.