Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
jenkins: use ninja when available as it's a few percent faster
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 29 Oct 2023 16:15:45 +0000 (17:15 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 29 Oct 2023 16:15:45 +0000 (17:15 +0100)
commit3ad9d85e9864c11c29005bab54c7443cf29ec6c9
treeb339463523f0c70b93d263cd7516b80dde28b6c6
parent709596538aad175a7b69477ea32c90050e856844
jenkins: use ninja when available as it's a few percent faster
tools/jenkins/build.sh