diff --git a/.github/workflows/macos.yml b/.github/workflows/macos.yml
index 4f5989691e..8d3f59e530 100644
--- a/.github/workflows/macos.yml
+++ b/.github/workflows/macos.yml
@@ -57,7 +57,7 @@ jobs:
           - '8.17~2023.08'
     steps:
       - name: Git checkout
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
 
       - name: Set PLATFORM
         if: ${{ github.event.inputs.platform != '' }}
@@ -101,6 +101,20 @@ jobs:
         shell: bash
         run: ./coq_platform_make.sh -packages=${{matrix.variant}} $PLATFORM_ARGS -dumplogs
 
+      - name: 'Upload opam log folder on failure'
+        uses: actions/upload-artifact@v4
+        if: failure()
+        with:
+          name: 'Opam log folder ${{matrix.variant}}'
+          path: /Users/runner/.opam/log/
+
+      - name: 'Upload opam build folder on failure'
+        uses: actions/upload-artifact@v4
+        if: failure()
+        with:
+          name: 'Opam build folder ${{matrix.variant}}'
+          path: /Users/runner/.opam/CP*${{matrix.variant}}/.opam-switch/build
+
       - name: Install bash (needed by smoke scripts)
         run: brew install bash
 
@@ -112,7 +126,7 @@ jobs:
           shell_scripts/create_smoke_test_kit.sh
 
       - name: 'Upload smoke test kit'
-        uses: actions/upload-artifact@v3
+        uses: actions/upload-artifact@v4
         with:
           name: 'Smoke Test Kit Macos ${{matrix.variant}}'
           path: smoke-test-kit/
@@ -125,7 +139,7 @@ jobs:
           pip3 install macpack
 
       - name: 'Build DMG installer'
-        uses: Wandalen/wretry.action@v1.3.0
+        uses: Wandalen/wretry.action@v3
         with:
           attempt_limit: 5
           attempt_delay: 5000
@@ -134,14 +148,14 @@ jobs:
             macos/create_installer_macos.sh
 
       - name: 'Upload DMG script logs on failure'
-        uses: actions/upload-artifact@v3
+        uses: actions/upload-artifact@v4
         if: failure()
         with:
           name: 'DMG script error logs ${{matrix.variant}}'
           path: macos_installer/logs/
 
       - name: 'Upload Artifact'
-        uses: actions/upload-artifact@v3
+        uses: actions/upload-artifact@v4
         with:
           name: 'Macos installer ${{matrix.variant}} x86_64'
           path: macos_installer/Coq-Platform-*.dmg
@@ -165,13 +179,13 @@ jobs:
         run: brew install bash
 
       - name: 'Download Artifact'
-        uses: actions/download-artifact@v3
+        uses: actions/download-artifact@v4
         id: download
         with:
           name: 'Macos installer ${{matrix.variant}} x86_64'
 
       - name: 'Download smoke test kit'
-        uses: actions/download-artifact@v3
+        uses: actions/download-artifact@v4
         id: download-smoke
         with:
           name: 'Smoke Test Kit Macos ${{matrix.variant}}'
diff --git a/.github/workflows/ubuntu.yml b/.github/workflows/ubuntu.yml
index 58da356181..d92112ffc5 100644
--- a/.github/workflows/ubuntu.yml
+++ b/.github/workflows/ubuntu.yml
@@ -71,7 +71,7 @@ jobs:
 
     steps:
       - name: Git checkout
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
 
       - name: Set PLATFORM
         if: ${{ github.event.inputs.platform != '' }}
@@ -99,7 +99,7 @@ jobs:
           smoke-test-kit/run-smoke-test.sh
 
       - name: 'Upload smoke test kit'
-        uses: actions/upload-artifact@v3
+        uses: actions/upload-artifact@v4
         with:
           name: 'Smoke Test Kit ${{matrix.variant}}'
           path: smoke-test-kit
@@ -112,7 +112,7 @@ jobs:
 
     steps:
       - name: Git checkout
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
 
       - name: Set PLATFORM
         if: ${{ github.event.inputs.platform != '' }}
@@ -137,7 +137,7 @@ jobs:
         run: cat /home/runner/.local/state/snapcraft/log/*
 
       - name: Save Artifact
-        uses: actions/upload-artifact@v3
+        uses: actions/upload-artifact@v4
         with:
           name: 'Snap package'
           path: ${{ steps.build.outputs.snap }}
@@ -170,13 +170,13 @@ jobs:
         run: echo "SNAP_PICK=${{ github.event.inputs.snap_pick }}" >> $GITHUB_ENV
 
       - name: Download Artifact
-        uses: actions/download-artifact@v3
+        uses: actions/download-artifact@v4
         id: download-snap
         with:
           name: 'Snap package'
 
       - name: 'Download smoke test kit'
-        uses: actions/download-artifact@v3
+        uses: actions/download-artifact@v4
         id: download-smoke
         with:
           name: 'Smoke Test Kit ${{ env.SNAP_PICK }}'
diff --git a/.github/workflows/ubuntu_dev.yml b/.github/workflows/ubuntu_dev.yml
index 0c38f0679f..af94f92fd5 100644
--- a/.github/workflows/ubuntu_dev.yml
+++ b/.github/workflows/ubuntu_dev.yml
@@ -44,7 +44,7 @@ jobs:
 
     steps:
       - name: Git checkout
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
 
       - name: Set PLATFORM
         if: ${{ github.event.inputs.platform != '' }}
@@ -72,7 +72,7 @@ jobs:
           smoke-test-kit/run-smoke-test.sh
 
       - name: 'Upload smoke test kit'
-        uses: actions/upload-artifact@v3
+        uses: actions/upload-artifact@v4
         with:
           name: 'Smoke Test Kit ${{matrix.variant}}'
           path: smoke-test-kit
diff --git a/.github/workflows/windows.yml b/.github/workflows/windows.yml
index c03648531c..5c3921eaed 100644
--- a/.github/workflows/windows.yml
+++ b/.github/workflows/windows.yml
@@ -63,7 +63,7 @@ jobs:
           git config --global core.eol lf
 
       - name: Git checkout
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
 
       - name: Set PLATFORM
         if: ${{ github.event.inputs.platform != '' }}
@@ -82,14 +82,14 @@ jobs:
         run: C:\cygwin_coq_platform\bin\bash --login -c "cd /platform/ && shell_scripts/create_smoke_test_kit.sh && mkdir /cygdrive/c/smoke && cp -ra smoke-test-kit/* /cygdrive/c/smoke/"
 
       - name: 'Upload Artifact'
-        uses: actions/upload-artifact@v3
+        uses: actions/upload-artifact@v4
         with:
           name: 'Windows installer ${{matrix.variant}} ${{matrix.architecture}}'
           path: C:\installer\*.exe
           retention-days: 5
 
       - name: 'Upload smoke test kit'
-        uses: actions/upload-artifact@v3
+        uses: actions/upload-artifact@v4
         with:
           name: 'Smoke Test Kit Windows ${{matrix.variant}} ${{matrix.architecture}}'
           path: C:\smoke\
@@ -112,13 +112,13 @@ jobs:
 
     steps:
       - name: 'Download Artifact'
-        uses: actions/download-artifact@v3
+        uses: actions/download-artifact@v4
         id: download
         with:
           name: 'Windows installer ${{matrix.variant}} ${{matrix.architecture}}'
 
       - name: 'Download smoke test kit'
-        uses: actions/download-artifact@v3
+        uses: actions/download-artifact@v4
         id: download-smoke
         with:
           name: 'Smoke Test Kit Windows ${{matrix.variant}} ${{matrix.architecture}}'