diff --git a/.github/workflows/aarch64_toolchain.yml b/.github/workflows/aarch64_toolchain.yml
index c5f039217f..bca9cb80b0 100644
--- a/.github/workflows/aarch64_toolchain.yml
+++ b/.github/workflows/aarch64_toolchain.yml
@@ -16,7 +16,7 @@ jobs:
     env:
       TARGET: ${{ matrix.targets[0] }}
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Build
       run: make --directory=cmake ${TARGET}_build
     - name: Test
diff --git a/.github/workflows/amd64_cmake_glop_cpp.yml b/.github/workflows/amd64_cmake_glop_cpp.yml
index 169811473f..7a16a0d22b 100644
--- a/.github/workflows/amd64_cmake_glop_cpp.yml
+++ b/.github/workflows/amd64_cmake_glop_cpp.yml
@@ -7,7 +7,7 @@ jobs:
   docker:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Build env image
       run: make --directory=cmake glop_env
     - name: Build devel image
@@ -28,7 +28,7 @@ jobs:
   linux:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Check cmake
       run: cmake --version
     - name: Configure
@@ -41,7 +41,7 @@ jobs:
   macos:
     runs-on: macos-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Check cmake
       run: cmake --version
     - name: Configure
@@ -54,7 +54,7 @@ jobs:
   windows:
     runs-on: windows-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Check cmake
       run: cmake --version
     - name: Configure
diff --git a/.github/workflows/amd64_docker_bazel.yml b/.github/workflows/amd64_docker_bazel.yml
index aeb091c2cd..4e634abc4d 100644
--- a/.github/workflows/amd64_docker_bazel.yml
+++ b/.github/workflows/amd64_docker_bazel.yml
@@ -15,7 +15,7 @@ jobs:
     env:
       DISTRO: ${{ matrix.distro }}
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Build env image
       run: make --directory=bazel ${DISTRO}_env
     - name: Build devel image
diff --git a/.github/workflows/amd64_docker_cmake.yml b/.github/workflows/amd64_docker_cmake.yml
index a945baebde..053a13916c 100644
--- a/.github/workflows/amd64_docker_cmake.yml
+++ b/.github/workflows/amd64_docker_cmake.yml
@@ -14,7 +14,7 @@ jobs:
       DISTRO: ${{ matrix.distro }}
       LANG: ${{ matrix.lang }}
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Build base image
       run: make --directory=cmake ${DISTRO}_base
     - name: Build env image
diff --git a/.github/workflows/amd64_freebsd_cmake.yml b/.github/workflows/amd64_freebsd_cmake.yml
index 8a18a3bffe..6bd27c0a14 100644
--- a/.github/workflows/amd64_freebsd_cmake.yml
+++ b/.github/workflows/amd64_freebsd_cmake.yml
@@ -24,7 +24,7 @@ jobs:
       DISTRO: ${{ matrix.distro }}
       LANG: ${{ matrix.lang }}
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: vagrant version
       run: Vagrant --version
     - name: VirtualBox version
diff --git a/.github/workflows/amd64_linux_bazel.yml b/.github/workflows/amd64_linux_bazel.yml
index ff833c6de6..51dea98234 100644
--- a/.github/workflows/amd64_linux_bazel.yml
+++ b/.github/workflows/amd64_linux_bazel.yml
@@ -15,7 +15,7 @@ jobs:
       CC:  gcc-12
       CXX: g++-12
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - name: Check Java
         run: java -version
       - name: Setup Python
diff --git a/.github/workflows/amd64_linux_cmake_coinor_off.yml b/.github/workflows/amd64_linux_cmake_coinor_off.yml
index 7c9db1a6ac..9663e0ed2b 100644
--- a/.github/workflows/amd64_linux_cmake_coinor_off.yml
+++ b/.github/workflows/amd64_linux_cmake_coinor_off.yml
@@ -7,7 +7,7 @@ jobs:
   linux_cpp:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Check cmake
       run: cmake --version
     - name: Configure
@@ -23,7 +23,7 @@ jobs:
   linux_dotnet:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Swig install
       run: sudo apt install -y swig
     - name: Check swig
@@ -55,7 +55,7 @@ jobs:
   linux_java:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Swig install
       run: sudo apt install -y swig
     - name: Check swig
@@ -78,7 +78,7 @@ jobs:
   linux_python:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Swig install
       run: sudo apt install -y swig
     - name: Check swig
diff --git a/.github/workflows/amd64_linux_cmake_cpp.yml b/.github/workflows/amd64_linux_cmake_cpp.yml
index 9938e1d35b..482641094c 100644
--- a/.github/workflows/amd64_linux_cmake_cpp.yml
+++ b/.github/workflows/amd64_linux_cmake_cpp.yml
@@ -18,7 +18,7 @@ jobs:
       GENERATOR: ${{ matrix.build[0] }}
       BUILD_TYPE: ${{ matrix.build[1] }}
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Install Ninja
       run: |
         sudo apt-get update
diff --git a/.github/workflows/amd64_linux_cmake_dotnet.yml b/.github/workflows/amd64_linux_cmake_dotnet.yml
index 6b40b0d36f..ab45a8728d 100644
--- a/.github/workflows/amd64_linux_cmake_dotnet.yml
+++ b/.github/workflows/amd64_linux_cmake_dotnet.yml
@@ -7,7 +7,7 @@ jobs:
   cmake:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Swig install
       run: sudo apt install -y swig
     - name: Check swig
diff --git a/.github/workflows/amd64_linux_cmake_glpk_on.yml b/.github/workflows/amd64_linux_cmake_glpk_on.yml
index be076f228b..3d79d240cc 100644
--- a/.github/workflows/amd64_linux_cmake_glpk_on.yml
+++ b/.github/workflows/amd64_linux_cmake_glpk_on.yml
@@ -7,7 +7,7 @@ jobs:
   linux_cpp:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Check cmake
       run: cmake --version
     - name: Configure
diff --git a/.github/workflows/amd64_linux_cmake_java.yml b/.github/workflows/amd64_linux_cmake_java.yml
index 00c3117723..e1499b200e 100644
--- a/.github/workflows/amd64_linux_cmake_java.yml
+++ b/.github/workflows/amd64_linux_cmake_java.yml
@@ -7,7 +7,7 @@ jobs:
   cmake:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Swig install
       run: sudo apt install -y swig
     - name: Check swig
diff --git a/.github/workflows/amd64_linux_cmake_no_lp_parser.yml b/.github/workflows/amd64_linux_cmake_no_lp_parser.yml
index 7aec144133..5d1bd2ab09 100644
--- a/.github/workflows/amd64_linux_cmake_no_lp_parser.yml
+++ b/.github/workflows/amd64_linux_cmake_no_lp_parser.yml
@@ -7,7 +7,7 @@ jobs:
   cmake:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Check cmake
       run: cmake --version
     - name: Configure
diff --git a/.github/workflows/amd64_linux_cmake_python.yml b/.github/workflows/amd64_linux_cmake_python.yml
index 8360a6bb97..0478cafadb 100644
--- a/.github/workflows/amd64_linux_cmake_python.yml
+++ b/.github/workflows/amd64_linux_cmake_python.yml
@@ -7,7 +7,7 @@ jobs:
   ninja:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Install python3 venv
       run: sudo apt-get install python3-venv
     - name: Install Ninja
@@ -33,7 +33,7 @@ jobs:
   ninja-multi:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Install python3 venv
       run: sudo apt-get install python3-venv
     - name: Install Ninja
@@ -59,7 +59,7 @@ jobs:
   make:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Install python3 venv
       run: sudo apt-get install python3-venv
     - name: Swig install
diff --git a/.github/workflows/amd64_linux_cmake_scip_off.yml b/.github/workflows/amd64_linux_cmake_scip_off.yml
index b5c7ae0d15..8b3a4efe2a 100644
--- a/.github/workflows/amd64_linux_cmake_scip_off.yml
+++ b/.github/workflows/amd64_linux_cmake_scip_off.yml
@@ -7,7 +7,7 @@ jobs:
   linux_cpp:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Check cmake
       run: cmake --version
     - name: Configure
@@ -23,7 +23,7 @@ jobs:
   linux_dotnet:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Swig install
       run: sudo apt install -y swig
     - name: Check swig
@@ -55,7 +55,7 @@ jobs:
   linux_java:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Swig install
       run: sudo apt install -y swig
     - name: Check swig
@@ -78,7 +78,7 @@ jobs:
   linux_python:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Swig install
       run: sudo apt install -y swig
     - name: Check swig
diff --git a/.github/workflows/amd64_linux_cmake_system_deps.yml b/.github/workflows/amd64_linux_cmake_system_deps.yml
index 5703220a8a..4b2620b27a 100644
--- a/.github/workflows/amd64_linux_cmake_system_deps.yml
+++ b/.github/workflows/amd64_linux_cmake_system_deps.yml
@@ -15,7 +15,7 @@ jobs:
       DISTRO: ${{ matrix.distro }}
       LANG: ${{ matrix.lang }}
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Build base image
       run: make --directory=cmake ${DISTRO}_base
     - name: Build env image
diff --git a/.github/workflows/amd64_macos_bazel.yml b/.github/workflows/amd64_macos_bazel.yml
index 8836fb9e0a..5b43184aa7 100644
--- a/.github/workflows/amd64_macos_bazel.yml
+++ b/.github/workflows/amd64_macos_bazel.yml
@@ -13,7 +13,7 @@ jobs:
       fail-fast: false
     steps:
       - name: Check out repository code
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
       - name: Set Java to OpenJDK 17 (Temurin)
         uses: actions/setup-java@v3
         with:
diff --git a/.github/workflows/amd64_macos_cmake_cpp.yml b/.github/workflows/amd64_macos_cmake_cpp.yml
index 624c498520..f9ff6aafd4 100644
--- a/.github/workflows/amd64_macos_cmake_cpp.yml
+++ b/.github/workflows/amd64_macos_cmake_cpp.yml
@@ -20,7 +20,7 @@ jobs:
       TEST_TARGET: ${{ matrix.build[3] }}
       INSTALL_TARGET: ${{ matrix.build[4] }}
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Check cmake
       run: cmake --version
     - name: Configure
diff --git a/.github/workflows/amd64_macos_cmake_dotnet.yml b/.github/workflows/amd64_macos_cmake_dotnet.yml
index 3c9a2f6b04..571563f886 100644
--- a/.github/workflows/amd64_macos_cmake_dotnet.yml
+++ b/.github/workflows/amd64_macos_cmake_dotnet.yml
@@ -20,7 +20,7 @@ jobs:
       TEST_TARGET: ${{ matrix.build[3] }}
       INSTALL_TARGET: ${{ matrix.build[4] }}
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Swig install
       run: brew install swig
     - name: Check swig
diff --git a/.github/workflows/amd64_macos_cmake_java.yml b/.github/workflows/amd64_macos_cmake_java.yml
index a42a24f6e2..ebe1bf77e1 100644
--- a/.github/workflows/amd64_macos_cmake_java.yml
+++ b/.github/workflows/amd64_macos_cmake_java.yml
@@ -20,7 +20,7 @@ jobs:
       TEST_TARGET: ${{ matrix.build[3] }}
       INSTALL_TARGET: ${{ matrix.build[4] }}
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Swig install
       run: brew install swig
     - name: Check swig
diff --git a/.github/workflows/amd64_macos_cmake_python.yml b/.github/workflows/amd64_macos_cmake_python.yml
index 441e4c765b..b5e6d72c54 100644
--- a/.github/workflows/amd64_macos_cmake_python.yml
+++ b/.github/workflows/amd64_macos_cmake_python.yml
@@ -20,7 +20,7 @@ jobs:
       TEST_TARGET: ${{ matrix.build[3] }}
       INSTALL_TARGET: ${{ matrix.build[4] }}
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Swig install
       run: brew install swig
     - name: Check swig
diff --git a/.github/workflows/amd64_web.yml b/.github/workflows/amd64_web.yml
index b1e4f05986..07550f9685 100644
--- a/.github/workflows/amd64_web.yml
+++ b/.github/workflows/amd64_web.yml
@@ -7,7 +7,7 @@ jobs:
   Distros:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Check docker
       run: |
         docker info
diff --git a/.github/workflows/amd64_windows_bazel.yml b/.github/workflows/amd64_windows_bazel.yml
index bcae3645cb..266dcb1476 100644
--- a/.github/workflows/amd64_windows_bazel.yml
+++ b/.github/workflows/amd64_windows_bazel.yml
@@ -14,7 +14,7 @@ jobs:
     runs-on: ${{ matrix.runner }}
     #runs-on: windows-latest
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - uses: actions/setup-java@v3
         with:
           distribution: 'temurin'
diff --git a/.github/workflows/amd64_windows_cmake_cpp.yml b/.github/workflows/amd64_windows_cmake_cpp.yml
index 516ee8443b..92ce89f2a0 100644
--- a/.github/workflows/amd64_windows_cmake_cpp.yml
+++ b/.github/workflows/amd64_windows_cmake_cpp.yml
@@ -16,7 +16,7 @@ jobs:
     runs-on: ${{ matrix.runner }}
     #runs-on: windows-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Check cmake
       run: |
         cmake --version
diff --git a/.github/workflows/amd64_windows_cmake_dotnet.yml b/.github/workflows/amd64_windows_cmake_dotnet.yml
index 7b75db74e4..11bb9cdf5c 100644
--- a/.github/workflows/amd64_windows_cmake_dotnet.yml
+++ b/.github/workflows/amd64_windows_cmake_dotnet.yml
@@ -7,7 +7,7 @@ jobs:
   cmake:
     runs-on: windows-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Install SWIG 4.1.1
       run: |
         (New-Object System.Net.WebClient).DownloadFile("http://prdownloads.sourceforge.net/swig/swigwin-4.1.1.zip","swigwin-4.1.1.zip");
diff --git a/.github/workflows/amd64_windows_cmake_java.yml b/.github/workflows/amd64_windows_cmake_java.yml
index 3c17aceda1..4e06333db9 100644
--- a/.github/workflows/amd64_windows_cmake_java.yml
+++ b/.github/workflows/amd64_windows_cmake_java.yml
@@ -7,7 +7,7 @@ jobs:
   cmake:
     runs-on: windows-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Install SWIG 4.1.1
       run: |
         (New-Object System.Net.WebClient).DownloadFile("http://prdownloads.sourceforge.net/swig/swigwin-4.1.1.zip","swigwin-4.1.1.zip");
diff --git a/.github/workflows/amd64_windows_cmake_python.yml b/.github/workflows/amd64_windows_cmake_python.yml
index 6889d6b2eb..5457a0d9d5 100644
--- a/.github/workflows/amd64_windows_cmake_python.yml
+++ b/.github/workflows/amd64_windows_cmake_python.yml
@@ -7,7 +7,7 @@ jobs:
   cmake:
     runs-on: windows-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - uses: actions/setup-python@v2
       with:
         python-version: '3.10'
diff --git a/.github/workflows/check_format.yml b/.github/workflows/check_format.yml
index d0a236380d..c8892900c9 100644
--- a/.github/workflows/check_format.yml
+++ b/.github/workflows/check_format.yml
@@ -7,7 +7,7 @@ jobs:
   clang-format:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Fetch origin/main
       run: git fetch origin main
     - name: List of changed file(s)
diff --git a/.github/workflows/mips_toolchain.yml b/.github/workflows/mips_toolchain.yml
index 66ba8942ed..ce35d9868e 100644
--- a/.github/workflows/mips_toolchain.yml
+++ b/.github/workflows/mips_toolchain.yml
@@ -16,7 +16,7 @@ jobs:
     env:
       TARGET: ${{ matrix.targets[0] }}
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Build
       run: make --directory=cmake ${TARGET}_build
     - name: Test
diff --git a/.github/workflows/powerpc_toolchain.yml b/.github/workflows/powerpc_toolchain.yml
index c8edf57a87..aa7da7143c 100644
--- a/.github/workflows/powerpc_toolchain.yml
+++ b/.github/workflows/powerpc_toolchain.yml
@@ -16,7 +16,7 @@ jobs:
     env:
       TARGET: ${{ matrix.targets[0] }}
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: Build
       run: make --directory=cmake ${TARGET}_build
     - name: Test