diff --git a/.github/workflows/haskell.yaml b/.github/workflows/haskell.yaml
index 09783c6..8aa59aa 100644
--- a/.github/workflows/haskell.yaml
+++ b/.github/workflows/haskell.yaml
@@ -44,7 +44,7 @@ jobs:
         enable-stack: false
 
     - name: Cache ~/.cabal/store
-      uses: actions/cache@v2
+      uses: actions/cache@v4
       env:
         cache-name: cache-cabal-store
       with:
@@ -55,7 +55,7 @@ jobs:
           ${{ runner.os }}-build-${{ env.cache-name }}-
 
     - name: Cache dist-newstyle
-      uses: actions/cache@v2
+      uses: actions/cache@v4
       env:
         cache-name: cache-dist-newstyle
       with:
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
new file mode 100644
index 0000000..94ee312
--- /dev/null
+++ b/.github/workflows/release.yml
@@ -0,0 +1,29 @@
+name: Release
+on:
+  push:
+    tags:
+    - "v[0-9]*"
+
+jobs:
+  hackage-release:
+    name: Release to Hackage
+    if: >
+      github.event_name == 'push'
+      && startsWith(github.ref, 'refs/tags/')
+    environment: hackage
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v3
+    - uses: haskell-actions/setup@v2
+      with:
+        cabal-version: 3.12.1.0
+        enable-stack: false
+    - name: Cabal Check
+      run: cabal check
+    - name: Create tarball
+      run: cabal sdist
+    - uses: haskell-actions/hackage-publish@v1
+      with:
+        hackageToken: ${{ secrets.HACKAGE_ACCESS_TOKEN }}
+        packagesPath: dist-newstyle/sdist
+        publish: false
diff --git a/equational-reasoning.cabal b/equational-reasoning.cabal
index 1661773..8d8113e 100644
--- a/equational-reasoning.cabal
+++ b/equational-reasoning.cabal
@@ -25,6 +25,7 @@ source-repository head
   location: git://github.com/konn/equational-reasoning-in-haskell.git
 
 library
+  -- cabal-gild: discover ./Proof/**/*.hs --exclude Proof/Propositional/TH.hs
   exposed-modules:
     Proof.Equational
     Proof.Propositional