Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7604d0d) | patch
Disable real builds on jenkins/simgrid-qualif, hoping to avoid conflicts when both...
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Tue, 11 Jul 2023 16:26:47 +0000 (18:26 +0200)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Tue, 11 Jul 2023 16:28:19 +0000 (18:28 +0200)
commitb7b801bffd5c0ac9dc22c6688c489d6c1e18ad0a
tree8c886a6e0bd784e4838a87ad56611090cb0593ddtree | snapshot
parent7604d0db48006a7a47120a2de9e7152063d5540ccommit | diff
Disable real builds on jenkins/simgrid-qualif, hoping to avoid conflicts when both simgrid and simgrid-qualif are online.
tools/jenkins/build.sh diff | blob | history
Clone of SimGrid repository with local patches