Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
circle: Ensure correct 0.1.0 tag is used
Since we didn't get the 0.1.0 release "right" with the first tag, it was deleted and re-created. As discussed in [1], this is a problem with CircleCI because the "Rebuild without cache" does not clear the source cache. This commit implement the suggested workaround. [1] https://discuss.circleci.com/t/clearing-the-source-cache/2771
- Loading branch information