Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
CI: build the model-checker on framagit, to test the MRs
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 16 Feb 2023 09:52:21 +0000 (10:52 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 16 Feb 2023 09:52:21 +0000 (10:52 +0100)
commit41b6f36bc0ca61e0169a3166bb16efbda2d3baef
tree37280ae7a177aaab1908b6165dd299ff0698c9f5
parentf01ca4538e3b4a350fcab90b94c6abb883aed738
CI: build the model-checker on framagit, to test the MRs
.gitlab-ci.yml