Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
CI wrench: use an external script
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 12 Sep 2021 20:01:45 +0000 (22:01 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 12 Sep 2021 20:01:45 +0000 (22:01 +0200)
commit2ded1d08516c55297f75d303f4947ddeb89318c2
tree3ff6ce213d2664cff970dd4b6d8aae240af1f4f3
parent033eba8077272cd22e18d03b34e7a9554ec0244f
CI wrench: use an external script
.github/workflows/ci-wrench.yml
tools/jenkins/ci-wrench.sh [new file with mode: 0644]