Reactivate the ci for tests
gitlab.irit.fr has started to propose runners for Continuous Integration. As it is, the CI only checks build status. We should reactivate the test stage in the pipeline (and report the results as a badge).
gitlab.irit.fr has started to propose runners for Continuous Integration. As it is, the CI only checks build status. We should reactivate the test stage in the pipeline (and report the results as a badge).