Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Gitlab CI: Use clang on modelchecker builds, for MRs
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 31 Mar 2023 13:58:32 +0000 (15:58 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 31 Mar 2023 13:58:32 +0000 (15:58 +0200)
commit723df134730d6b4be751fe658b9a197e78dcf479
tree681f8e7aa8541bffdaaffa42a21d8a1c05d3567d
parentc9d657884a919613efdbffa67fb3ef4b52f8a8f6
Gitlab CI: Use clang on modelchecker builds, for MRs
.gitlab-ci.yml