Remove the stateful model-checking from the archive. It's not working anymore

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

diff --git a/.github/workflows/git.yml b/.github/workflows/git.yml
index 71c0227..eb6bc03 100644 (file)
--- a/.github/workflows/git.yml
+++ b/.github/workflows/git.yml
@@ -72,8 +72,7 @@ jobs:
 
       - name: build
         run: |
-          sudo apt-get update && sudo apt-get install ninja-build libboost-dev libboost-context-dev pybind11-dev
-          sudo apt-get install libunwind-dev libdw-dev libelf-dev libevent-dev
+          sudo apt-get update && sudo apt-get install ninja-build libboost-dev libboost-context-dev pybind11-dev libevent-dev
           mkdir build ; cd build
           cmake -GNinja -Denable_debug=ON -Denable_documentation=OFF -Denable_coverage=OFF \
                 -Denable_compile_optimizations=ON -Denable_compile_warnings=ON \