Deprecate Activity::{get,set}_user_data().

[simgrid.git] / .github / workflows / docker.yml

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index 407099579b9ed45426e850a83525483b73ff3d5b..253ef2ad0f446cd1f7922bdf2c11068051f77941 100644 (file)
--- a/.github/workflows/docker.yml
+++ b/.github/workflows/docker.yml
@@ -70,6 +70,7 @@ jobs:
 
       - name: build docker tuto-s4u
         run: |
+          cd tools/docker
           make tuto-s4u
           docker push simgrid/tuto-s4u
       - name: Create the failure Message
@@ -107,6 +108,7 @@ jobs:
 
       - name: build docker tuto-mc
         run: |
+          cd tools/docker
           make tuto-mc
           docker push simgrid/tuto-mc