Merge remote-tracking branch 'origin/develop'

.github/actions/setup-pyk-env/action.yml

@@ -15,6 +15,8 @@ runs:
         python-version: ${{ inputs.python-version }}
     - name: 'Install Poetry'
       uses: Gr1N/setup-poetry@v9
+      with:
+        poetry-version: '1.8.5'
     - name: 'Install package'
       shell: bash
       run: poetry -C pyk install

.github/actions/with-k-docker/Dockerfile

@@ -38,5 +38,5 @@ USER user
 WORKDIR /home/user
 
 ENV PATH=/home/user/.local/bin:${PATH}
-RUN    curl -sSL https://install.python-poetry.org | python3 - \
+RUN    curl -sSL https://install.python-poetry.org | python3 - --version 1.8.5 \
     && poetry --version

.github/workflows/master-push.yml

@@ -7,7 +7,7 @@ on:
 jobs:
   gh-release:
     name: 'Publish GitHub Prerelease'
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-24.04
     steps:
       - name: 'Check out code'
         uses: actions/checkout@v4

.github/workflows/release.yml

@@ -21,7 +21,7 @@ jobs:
 
   source-tarball:
     name: 'Create source tarball'
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-24.04
     environment: production
     steps:
       - name: 'Check out code'
@@ -475,7 +475,7 @@ jobs:
 
   pyk-publish:
     name: 'Publish pyk'
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-24.04
     environment: production
     permissions:
       id-token: write
@@ -491,6 +491,8 @@ jobs:
 
       - name: Install Poetry
         uses: Gr1N/setup-poetry@v9
+        with:
+          poetry-version: '1.8.5'
 
       - name: Build pyk
         working-directory: pyk
@@ -512,10 +514,10 @@ jobs:
             fi
             sleep 10
           done
-  
+
   notify-dependents:
     name: 'Notify Dependents'
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-24.04
     needs: pyk-publish
     steps:
       - name: Check out code

.github/workflows/run-actionlint.yml

@@ -4,7 +4,7 @@ on: pull_request
 jobs:
   actionlint:
     name: Run actionlint
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-24.04
     steps:
       - uses: actions/checkout@v4
       - name: Download actionlint

.github/workflows/test-pr.yml

@@ -11,7 +11,7 @@ concurrency:
 jobs:
   format-check:
     name: 'Java: Linting'
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-24.04
     steps:
       - name: 'Check out code'
         uses: actions/checkout@v4
@@ -30,7 +30,7 @@ jobs:
 
   pyk-code-quality-checks:
     name: 'Pyk: Code Quality & Unit Tests'
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-24.04
     timeout-minutes: 5
     strategy:
       fail-fast: false
@@ -56,7 +56,7 @@ jobs:
 
   code-quality:
     name: 'Code Quality Checks'
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-24.04
     needs:
       - format-check
       - pyk-code-quality-checks
@@ -156,7 +156,7 @@ jobs:
     name: 'Pyk: Nix Build'
     strategy:
       matrix:
-        os: [ubuntu-latest, macos-14]
+        os: [ubuntu-24.04, macos-14]
     runs-on: ${{ matrix.os }}
     steps:
       - name: 'Check out code'
@@ -311,7 +311,7 @@ jobs:
   pyk-regression-tests:
     needs: test-frontend-package-ubuntu-jammy
     name: 'Pyk: Regression Tests'
-    runs-on: ubuntu-latest
+    runs-on: ubuntu-24.04
     timeout-minutes: 30
     steps:
       - name: 'Check out code'