update ci

.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/[email protected]
-        with:
-          fetch-depth: 0
-
-      - uses: ./.github/workflows/setup
-        with:
-          fail-on-failure: true
-
-      - uses: ./.github/workflows/docs
-        with:
-          deploy_key: ${{ secrets.ACTIONS_DEPLOY_KEY }}

.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:

.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/[email protected]
-        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 }}

.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

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