AND Public Git Repository - simgrid.git/history - tools/jenkins/ci-wrench.sh

Algorithmique Numérique Distribuée

Public GIT Repository

projects / simgrid.git / history

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

[simgrid.git] / tools / jenkins / ci-wrench.sh

2021-09-12	Martin Quinson	chmod +x	blob \| commitdiff \| raw
2021-09-12	Martin Quinson	CI wrench: use an external script	blob \| commitdiff \| raw

Clone of SimGrid repository with local patches