If we have `-Werror` in the CI, we should also have it in the dev version
Open
re: devx
type: discussion
- Dominant language
- Haskell
- Stars
- 1.7k
- Forks
- 750
- Avg merge
- 4d 3h
- Merged PRs (30d)
- 28
Description
If we have `-Werror` in the CI, we should also have it in the dev version. Otherwise, we are wasting CI attempts and developer time.
In Agda, we have `-Werror` on in the dev version and switch it off in releases.
Contributor guide
Assessment
This issue has not been assessed yet.