Skip to content
This repository has been archived by the owner on Dec 17, 2022. It is now read-only.

2020-10-11

Compare
Choose a tag to compare
@impredicative impredicative released this 12 Oct 03:46
· 35 commits to master since this release
  • Switched to using the GITHUB_REF environment variable for parsing the current release version number in setup.py. This allows not having to define the version number redundantly in the file.