JankaGramofonomanka / idris-compiler-tools

1 stars 0 forks source link

CI #20

Open JankaGramofonomanka opened 3 hours ago

JankaGramofonomanka commented 3 hours ago

Create a CI pipeline that automatically runs tests on every push / PR

JankaGramofonomanka commented 3 hours ago

So far, the CI only runs the unit tests defined in code, doesn't compile and run the example .lng files