X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/8aa6b3c1446cc8a4e766629a9c1ff489964103e2..163e4b43c79cf23dd5e93cd7a69ce612a465f7a1:/.github/workflows/git.yml

diff --git a/.github/workflows/git.yml b/.github/workflows/git.yml
index 36d20a3a9f..e3f37ad7f6 100644
--- a/.github/workflows/git.yml
+++ b/.github/workflows/git.yml
@@ -6,18 +6,11 @@ name: Git build on various OS and setups
 # documentation.
 
 # Only trigger manually
-#######################
-# on:
-#   workflow_dispatch:
-#   # Rebuild when changing the stable branch
-#   push:
-#       branches:
-#             - master
+on: workflow_dispatch
 
 jobs:
-  simgrid-regular-debian11:
-
-    runs-on: debian:11
+  simgrid-regular:
+    runs-on: ubuntu-latest
     permissions:
       contents: read
       packages: write
@@ -28,6 +21,7 @@ jobs:
 
       - name: build
         run: |
+          apt install ninja libboost-dev libboost-context-dev libns3-dev
           cmake -GNinja -Denable_debug=ON -Denable_documentation=OFF -Denable_coverage=OFF \
                 -Denable_compile_optimizations=ON -Denable_compile_warnings=ON \
                 -Denable_model-checking=OFF -Denable_smpi_MBI_testsuite=OFF \
@@ -49,9 +43,9 @@ jobs:
           MATTERMOST_WEBHOOK_URL: ${{ secrets.MATTERMOST_WEBHOOK_URL }}
           MATTERMOST_CHANNEL: ${{ secrets.MATTERMOST_CHANNEL}}
 
-  simgrid-modelchecker-debian11:
+  simgrid-modelcheck-ubuntu:
 
-    runs-on: debian:11
+    runs-on: ubuntu-latest
     permissions:
       contents: read
       packages: write
@@ -62,6 +56,7 @@ jobs:
 
       - name: build
         run: |
+          apt install ninja libboost-dev libboost-context-dev
           cmake -GNinja -Denable_debug=ON -Denable_documentation=OFF -Denable_coverage=OFF \
                 -Denable_compile_optimizations=ON -Denable_compile_warnings=ON \
                 -Denable_model-checking=ON -Denable_smpi_MBI_testsuite=OFF \