Remove version number from tarballs in default builds
Open
- Dominant language
- C++
- Stars
- 16.7k
- Forks
- 1.6k
- Avg merge
- 1d 20h
- Merged PRs (30d)
- 126
Description
When we're not explicitly producing a release, it would be nice if, instead of producing things like `correctness-6.3.9.tgz`, we produced `correctness.tgz`. The current approach makes it difficult to correctly bisect the code, and also makes it hard for developers to build scripts that support their workflows.
Contributor guide
Assessment
This issue has not been assessed yet.