Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
GH action for Wrench: properly specify the docker image
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 12 Sep 2021 19:00:51 +0000 (21:00 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 12 Sep 2021 19:00:51 +0000 (21:00 +0200)
commit7b0f16139209b3a3ff5f3c0a337dc6f26d9d6d3f
tree05dfdb0f270ad68dcb2458262bc04343dc5fe8d5
parentd11bb1c13d361f9092b24d0532329f9d5f93eaff
GH action for Wrench: properly specify the docker image
.github/workflows/ci-wrench.yml