Closed mmarkakis closed 3 years ago
This PR adds basic CI to our Github repo, by running our test suite on every PR or push to master.
master
A badge with the status of the run is also added to the README.
README
This PR adds basic CI to our Github repo, by running our test suite on every PR or push to
master
.A badge with the status of the run is also added to the
README
.