Commit Graph

2 Commits (5d4f29be89616d4fd65efa369140a9c241573fdc)

Author SHA1 Message Date
Christian Merten 461cb098f0
chore(ci): build and release docker image, build documentation (#7)
We expand the tests CI run to first build the main image, build and
deploy the documentation pages, run the test suite and publish the
docker image in the github docker registry.
2 months ago
Christian Merten 9caa3195ab
chore(CI): add tests action (#1)
We run the test suite on every commit and compute the coverage. The
action succeeds only if the coverage is at 100%.
2 months ago