You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
As we are currently moving away from Travis CI, it makes sense to move the building of all our test projects on GitHub Actions. I propose to create a separate .yml workflow just for building our generated projects.
As mentioned in #532, we also want to build our projects with -Werror.
The text was updated successfully, but these errors were encountered:
chshersh
added
CI
CI tools support; project CI; build with different GHC, tools
tests
Unit & Property tests
labels
Jan 28, 2021
As we are currently moving away from Travis CI, it makes sense to move the building of all our test projects on GitHub Actions. I propose to create a separate
.yml
workflow just for building our generated projects.As mentioned in #532, we also want to build our projects with
-Werror
.The text was updated successfully, but these errors were encountered: