diff --git a/.github/workflows/develop-checks.yaml b/.github/workflows/develop-checks.yaml
index 410c75b0f9..9ddda56c13 100644
--- a/.github/workflows/develop-checks.yaml
+++ b/.github/workflows/develop-checks.yaml
@@ -18,7 +18,6 @@ on:
   workflow_dispatch:
   push:
     branches: develop
-    tags: v[0-9]+.[0-9]+.[0-9]+*
 
 jobs:
   slowtests:
diff --git a/.github/workflows/release-checks.yaml b/.github/workflows/release-checks.yaml
new file mode 100644
index 0000000000..7699138e89
--- /dev/null
+++ b/.github/workflows/release-checks.yaml
@@ -0,0 +1,114 @@
+# Copyright 2024 The Trieste Contributors
+#
+# Licensed under the Apache License, Version 2.0 (the "License");
+# you may not use this file except in compliance with the License.
+# You may obtain a copy of the License at
+#
+#     http://www.apache.org/licenses/LICENSE-2.0
+#
+# Unless required by applicable law or agreed to in writing, software
+# distributed under the License is distributed on an "AS IS" BASIS,
+# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+# See the License for the specific language governing permissions and
+# limitations under the License.
+
+name: Release checks
+
+on:
+  workflow_dispatch:
+  push:
+    tags: v[0-9]+.[0-9]+.[0-9]+*
+
+jobs:
+  types:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v2
+    - uses: actions/setup-python@v2
+      with:
+        python-version: "3.10"
+    - run: pip install tox
+    - run: tox -e types
+
+  types_old:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v2
+    - uses: actions/setup-python@v2
+      with:
+        python-version: "3.7"
+    - run: pip install tox
+    - run: tox -e types_old
+
+  format:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v2
+    - uses: actions/setup-python@v2
+      with:
+        python-version: "3.10"
+    - run: pip install tox
+    - run: tox -e format
+
+  tests:
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        part: [ "1", "2", "3", "4" ]
+    name: tests (part${{ matrix.part }})
+    steps:
+    - uses: actions/checkout@v2
+    - uses: actions/setup-python@v2
+      with:
+        python-version: "3.10"
+    - run: pip install tox
+    - run: tox -e tests_${{ matrix.part }}
+
+  tests_old:
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        part: [ "1", "2", "3", "4" ]
+    name: tests_old (part${{ matrix.part }})
+    steps:
+    - uses: actions/checkout@v2
+    - uses: actions/setup-python@v2
+      with:
+        python-version: "3.7"
+    - run: pip install tox
+    - run: tox -e tests_old_${{ matrix.part }}
+
+  slowtests:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v2
+    - uses: actions/setup-python@v2
+      with:
+        python-version: "3.10"
+    - run: pip install tox
+    - run: tox -e tests -- --runslow only
+
+  slowtests_old:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v2
+    - uses: actions/setup-python@v2
+      with:
+        python-version: "3.7"
+    - run: pip install tox
+    - run: tox -e tests_old -- --runslow only
+
+  fulldocs:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v2
+    - uses: actions/setup-python@v2
+      with:
+        python-version: "3.10"
+    - run: pip install tox
+    - run: |
+        TEMP_DEB="$(mktemp)" &&
+        wget -O "$TEMP_DEB" 'https://github.com/jgm/pandoc/releases/download/2.10.1/pandoc-2.10.1-1-amd64.deb' &&
+        sudo dpkg -i "$TEMP_DEB"
+        rm -f "$TEMP_DEB"
+    - run: tox -e docs