diff --git a/.github/workflows/base.yml b/.github/workflows/base.yml
index f95ade0..9d36c83 100644
--- a/.github/workflows/base.yml
+++ b/.github/workflows/base.yml
@@ -36,21 +36,3 @@ jobs:
 
       - uses: ./.github/workflows/format
         if: ${{ !cancelled() }}
-
-  build-docs:
-    name: build docs
-    needs: construct-caches
-    runs-on: ubuntu-latest
-    steps:
-      - name: Checkout
-        uses: actions/checkout@v4.1.0
-        with:
-          fetch-depth: 0
-
-      - uses: ./.github/workflows/setup
-        with:
-          fail-on-failure: true
-
-      - uses: ./.github/workflows/docs
-        with:
-          deploy_key: ${{ secrets.ACTIONS_DEPLOY_KEY }}
diff --git a/.github/workflows/main-next.yml b/.github/workflows/main-next.yml
deleted file mode 100644
index 5b9a735..0000000
--- a/.github/workflows/main-next.yml
+++ /dev/null
@@ -1,23 +0,0 @@
-name: Run checks on main or next
-
-on:
-  push:
-    branches: [ "main", "next" ]
-
-permissions:
-  contents: read
-
-jobs:
-  all:
-    name: Tests, dialyzer, format
-    runs-on: ubuntu-latest
-    steps:
-      - name: Checkout
-        uses: actions/checkout@v4.1.0
-
-      - uses: ./.github/workflows/setup
-
-      - uses: ./.github/workflows/checks
-
-      - uses: ./.github/workflows/format
-        if: ${{ !cancelled() }}
diff --git a/.github/workflows/pull-request.yml b/.github/workflows/pull-request.yml
index 2f27501..05d184f 100644
--- a/.github/workflows/pull-request.yml
+++ b/.github/workflows/pull-request.yml
@@ -12,7 +12,7 @@ jobs:
     strategy:
       fail-fast: false
       matrix:
-        revision: ['topic', 'next']
+        revision: ['topic']
     name: Tests, dialyzer, format
     runs-on: ubuntu-latest
     steps:
@@ -22,16 +22,6 @@ jobs:
         ref: ${{ github.event.pull_request.head.sha }}
         fetch-depth: 0
 
-    - name: Try merge with next
-      id: try_merge
-      continue-on-error: true
-      if: matrix.revision == 'next'
-      run: >
-        git checkout next &&
-        git -c user.name='Anoma CI' -c user.email='nobody@localhost'
-        merge -m 'Automerge with next'
-        ${{ github.event.pull_request.head.sha }}
-
     - uses: ./.github/workflows/setup
       if: steps.try_merge.outcome != 'failure'
       with:
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 0cdc409..abbc618 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -54,20 +54,3 @@ jobs:
           gh release upload --clobber "${{ github.ref_name }}" \
             anoma_otp_${{ matrix.otp }} \
             anoma-otp-${{ matrix.otp }}.sha{1,256}sum \
-  build-docs:
-    name: build docs
-    runs-on: ubuntu-latest
-    steps:
-      - name: Checkout
-        uses: actions/checkout@v4.1.0
-        with:
-          fetch-depth: 0
-
-      - uses: ./.github/workflows/setup
-        with:
-          fail-on-failure: ${{ true }}
-
-      - uses: ./.github/workflows/docs
-        with:
-          deploy_key: ${{ secrets.ACTIONS_DEPLOY_KEY }}
-          release: ${{ true }}
diff --git a/.github/workflows/setup/action.yml b/.github/workflows/setup/action.yml
index b17605f..d4d8c18 100644
--- a/.github/workflows/setup/action.yml
+++ b/.github/workflows/setup/action.yml
@@ -29,11 +29,6 @@ runs:
           restore-keys: |
             mix-${{ runner.os }}-${{ steps.beam.outputs.otp-version }}-${{ steps.beam.outputs.elixir-version }}-${{ hashFiles('**/mix.lock') }}
 
-      - name: Fail on dependencies cache miss
-        shell: bash
-        if: ${{ (inputs.fail-on-failure == 'true') && steps.deps-cache.outputs.cache-hit != 'true' }}
-        run: /bin/false
-
       - name: Fetch dependencies
         shell: bash
         run: mix deps.get
diff --git a/mix.exs b/mix.exs
index 583d3fa..ebd8c98 100644
--- a/mix.exs
+++ b/mix.exs
@@ -5,9 +5,15 @@ defmodule Cairo.MixProject do
     [
       app: :cairo,
       version: "0.1.0",
-      elixir: "~> 1.15",
+      elixir: "~> 1.17",
       start_permanent: Mix.env() == :prod,
       deps: deps(),
+      dialyzer: [
+        plt_local_path: "plts/anoma.plt",
+        plt_core_path: "plts/core.plt",
+        flags: ["-Wno_improper_lists"],
+        plt_add_apps: [:mix, :ex_unit]
+      ],
       docs: docs()
     ]
   end