diff --git a/.github/workflows/oscar-aa805.yml b/.github/workflows/oscar-aa805.yml
index 713d280..73c6aa2 100644
--- a/.github/workflows/oscar-aa805.yml
+++ b/.github/workflows/oscar-aa805.yml
@@ -21,9 +21,9 @@ jobs:
       PR_NUMBER: ${{github.event.number}}
       GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: "Set up Julia"
-      uses: julia-actions/setup-julia@v1
+      uses: julia-actions/setup-julia@v2
       with:
         version: '~1.6.0-0'
     - id: set-matrix
@@ -50,9 +50,9 @@ jobs:
       fail-fast: false
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - name: "Set up Julia"
-        uses: julia-actions/setup-julia@v1
+        uses: julia-actions/setup-julia@v2
         with:
           version: ${{ matrix.julia-version }}
       - name: "Set up Oscar-dev configuration"
diff --git a/.github/workflows/oscar-doctest.yml b/.github/workflows/oscar-doctest.yml
index 77ed6c5..571c4fb 100644
--- a/.github/workflows/oscar-doctest.yml
+++ b/.github/workflows/oscar-doctest.yml
@@ -25,9 +25,9 @@ jobs:
       PR_NUMBER: ${{github.event.number || '0' }}
       GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: "Set up Julia"
-      uses: julia-actions/setup-julia@v1
+      uses: julia-actions/setup-julia@v2
       with:
         version: '1.10'
     - name: OscarDevTools - CI
@@ -66,9 +66,9 @@ jobs:
       fail-fast: false
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - name: "Set up Julia"
-        uses: julia-actions/setup-julia@v1
+        uses: julia-actions/setup-julia@v2
         with:
           version: ${{ matrix.julia-version }}
       - name: re-using OscarDevTools checkout
diff --git a/.github/workflows/oscar-julia.yml b/.github/workflows/oscar-julia.yml
index dc74d6e..32dd8c1 100644
--- a/.github/workflows/oscar-julia.yml
+++ b/.github/workflows/oscar-julia.yml
@@ -21,9 +21,9 @@ jobs:
       PR_NUMBER: ${{github.event.number}}
       GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: "Set up Julia"
-      uses: julia-actions/setup-julia@v1
+      uses: julia-actions/setup-julia@v2
       with:
         version: '~1.6.0-0'
     - id: set-matrix
@@ -50,9 +50,9 @@ jobs:
       fail-fast: false
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - name: "Set up Julia"
-        uses: julia-actions/setup-julia@v1
+        uses: julia-actions/setup-julia@v2
         with:
           version: ${{ matrix.julia-version }}
       - name: "Set up Oscar-dev configuration"
diff --git a/.github/workflows/oscar-legacy.yml b/.github/workflows/oscar-legacy.yml
index a6d9b48..fb9a6ed 100644
--- a/.github/workflows/oscar-legacy.yml
+++ b/.github/workflows/oscar-legacy.yml
@@ -21,9 +21,9 @@ jobs:
       PR_NUMBER: ${{github.event.number}}
       GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: "Set up Julia"
-      uses: julia-actions/setup-julia@v1
+      uses: julia-actions/setup-julia@v2
       with:
         version: '~1.6.0-0'
     - id: set-matrix
@@ -52,9 +52,9 @@ jobs:
       fail-fast: false
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - name: "Set up Julia"
-        uses: julia-actions/setup-julia@v1
+        uses: julia-actions/setup-julia@v2
         with:
           version: ${{ matrix.julia-version }}
       - name: "Set up Oscar-dev configuration"
diff --git a/.github/workflows/oscar-merge.yml b/.github/workflows/oscar-merge.yml
index f275611..4914922 100644
--- a/.github/workflows/oscar-merge.yml
+++ b/.github/workflows/oscar-merge.yml
@@ -21,9 +21,9 @@ jobs:
       PR_NUMBER: ${{github.event.number}}
       GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: "Set up Julia"
-      uses: julia-actions/setup-julia@v1
+      uses: julia-actions/setup-julia@v2
       with:
         version: '~1.6.0-0'
     - id: set-matrix
@@ -50,9 +50,9 @@ jobs:
       fail-fast: false
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - name: "Set up Julia"
-        uses: julia-actions/setup-julia@v1
+        uses: julia-actions/setup-julia@v2
         with:
           version: ${{ matrix.julia-version }}
       - name: "Set up Oscar-dev configuration"
diff --git a/.github/workflows/oscar-noinclude.yml b/.github/workflows/oscar-noinclude.yml
index 1896aa7..adc8b61 100644
--- a/.github/workflows/oscar-noinclude.yml
+++ b/.github/workflows/oscar-noinclude.yml
@@ -21,9 +21,9 @@ jobs:
       PR_NUMBER: ${{github.event.number}}
       GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: "Set up Julia"
-      uses: julia-actions/setup-julia@v1
+      uses: julia-actions/setup-julia@v2
       with:
         version: '~1.6.0-0'
     - id: set-matrix
@@ -50,9 +50,9 @@ jobs:
       fail-fast: false
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - name: "Set up Julia"
-        uses: julia-actions/setup-julia@v1
+        uses: julia-actions/setup-julia@v2
         with:
           version: ${{ matrix.julia-version }}
       - name: "Set up Oscar-dev configuration"
diff --git a/.github/workflows/oscar-nonjl.yml b/.github/workflows/oscar-nonjl.yml
index c41c71a..9b4484d 100644
--- a/.github/workflows/oscar-nonjl.yml
+++ b/.github/workflows/oscar-nonjl.yml
@@ -24,9 +24,9 @@ jobs:
       PR_NUMBER: ${{github.event.number}}
       GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: "Set up Julia"
-      uses: julia-actions/setup-julia@v1
+      uses: julia-actions/setup-julia@v2
       with:
         version: '~1.6.0-0'
     - id: set-matrix
@@ -53,9 +53,9 @@ jobs:
       fail-fast: false
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - name: "Set up Julia"
-        uses: julia-actions/setup-julia@v1
+        uses: julia-actions/setup-julia@v2
         with:
           version: ${{ matrix.julia-version }}
       - name: "Set up Oscar-dev configuration"
diff --git a/.github/workflows/oscar-pkgaxis.yml b/.github/workflows/oscar-pkgaxis.yml
index 85e19b5..c0252d9 100644
--- a/.github/workflows/oscar-pkgaxis.yml
+++ b/.github/workflows/oscar-pkgaxis.yml
@@ -22,9 +22,9 @@ jobs:
       PR_NUMBER: ${{github.event.number}}
       GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: "Set up Julia"
-      uses: julia-actions/setup-julia@v1
+      uses: julia-actions/setup-julia@v2
       with:
         version: '~1.6.0-0'
     - id: set-matrix
@@ -51,9 +51,9 @@ jobs:
       fail-fast: false
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - name: "Set up Julia"
-        uses: julia-actions/setup-julia@v1
+        uses: julia-actions/setup-julia@v2
         with:
           version: ${{ matrix.julia-version }}
       - name: "Set up Oscar-dev configuration"
diff --git a/.github/workflows/oscar-prtest.yml b/.github/workflows/oscar-prtest.yml
index 0ae2bfd..f3ee4b5 100644
--- a/.github/workflows/oscar-prtest.yml
+++ b/.github/workflows/oscar-prtest.yml
@@ -21,9 +21,9 @@ jobs:
       PR_NUMBER: ${{github.event.number}}
       GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: "Set up Julia"
-      uses: julia-actions/setup-julia@v1
+      uses: julia-actions/setup-julia@v2
       with:
         version: '~1.6.0-0'
     - id: set-matrix
@@ -52,9 +52,9 @@ jobs:
       fail-fast: false
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - name: "Set up Julia"
-        uses: julia-actions/setup-julia@v1
+        uses: julia-actions/setup-julia@v2
         with:
           version: ${{ matrix.julia-version }}
       - name: "Set up Oscar-dev configuration"
diff --git a/.github/workflows/oscar-resolvefail.yml b/.github/workflows/oscar-resolvefail.yml
index 0c522a4..9306cad 100644
--- a/.github/workflows/oscar-resolvefail.yml
+++ b/.github/workflows/oscar-resolvefail.yml
@@ -20,9 +20,9 @@ jobs:
     env:
       PR_NUMBER: ${{github.event.number}}
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: "Set up Julia"
-      uses: julia-actions/setup-julia@v1
+      uses: julia-actions/setup-julia@v2
       with:
         version: '~1.6.0-0'
     - name: OscarDevTools - CI
@@ -59,9 +59,9 @@ jobs:
       fail-fast: false
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - name: "Set up Julia"
-        uses: julia-actions/setup-julia@v1
+        uses: julia-actions/setup-julia@v2
         with:
           version: ${{ matrix.julia-version }}
       - name: re-using OscarDevTools checkout
diff --git a/.github/workflows/oscar.yml b/.github/workflows/oscar.yml
index 2c8975e..dc255ad 100644
--- a/.github/workflows/oscar.yml
+++ b/.github/workflows/oscar.yml
@@ -25,9 +25,9 @@ jobs:
       PR_NUMBER: ${{github.event.number || '0' }}
       GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
     steps:
-    - uses: actions/checkout@v3
+    - uses: actions/checkout@v4
     - name: "Set up Julia"
-      uses: julia-actions/setup-julia@v1
+      uses: julia-actions/setup-julia@v2
       with:
         version: '1.10'
     - name: OscarDevTools - CI
@@ -65,9 +65,9 @@ jobs:
       fail-fast: false
 
     steps:
-      - uses: actions/checkout@v3
+      - uses: actions/checkout@v4
       - name: "Set up Julia"
-        uses: julia-actions/setup-julia@v1
+        uses: julia-actions/setup-julia@v2
         with:
           version: ${{ matrix.julia-version }}
       - name: re-using OscarDevTools checkout