Commit fff280da authored by Antoine Martin's avatar Antoine Martin Committed by Etienne Renault

ltl-desugar: run tests in CI

parent 9504b8b0
......@@ -4,3 +4,4 @@ debian-stable-gcc:
- test -z "$(gofmt -l $(find -type f -name '*.go' -not -path './boilerplate/*'))"
- go build
- make check
- go test -v ./ltl
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment