Skip to content

Build all generated projects on GitHub Actions with all valid combinationsย #533

@chshersh

Description

@chshersh

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.

Metadata

Metadata

Assignees

Labels

CICI tools support; project CI; build with different GHC, toolstestsUnit & Property tests

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions