Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[gitlab-ci] Run "make distcheck-configure" for merge requests.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Fri, 31 Mar 2023 14:56:04 +0000 (16:56 +0200)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Fri, 31 Mar 2023 14:58:25 +0000 (16:58 +0200)
commitc0221523d568ed7cbec1aa8a7c5be62cca8bc0aa
tree2c95d84b0ce8af1b4e672e6f93e8dda29231cb3c
parentcf794e3b074c9192168dd9b85ba3498191f1c0a6
[gitlab-ci] Run "make distcheck-configure" for merge requests.
.gitlab-ci.yml