diff --git a/.github/workflows/proof.yml b/.github/workflows/proof.yml
index 5fdbebc4..30ee983e 100644
--- a/.github/workflows/proof.yml
+++ b/.github/workflows/proof.yml
@@ -16,10 +16,16 @@ jobs:
     runs-on: ${{ vars.DEFAULT_RUNNER_NAME }}
     container: 'pthierry38/framac-runner:29'
     steps:
+      - name: checkout repo
+        uses: actions/checkout@v4
+        with:
+          ref: ${{ github.ref }}
+          fetch-depth: 0
+          set-safe-directory: true
       - name: install prerequisites pkg
         uses: outpost-os/action-install-pkg@v1
         with:
-          packages: 'dtc|device-tree-compiler,curl,lld'
+          packages: 'device-tree-compiler,curl,lld,graphviz,lsb-release,libglib2.0-dev-bin,python3,python3-pip'
       - name: Clone cross-files
         uses: actions/checkout@v4
         with:
@@ -43,12 +49,6 @@ jobs:
         with:
           compiler: gcc
           triple: arm-none-eabi
-      - name: checkout repo
-        uses: actions/checkout@v4
-        with:
-          ref: ${{ github.ref }}
-          fetch-depth: 0
-          set-safe-directory: true
       - name: Install local deps
         run: |
           pip3 install -r requirements.txt