Merge pull request #14 from konn/konn/release-ci

Prepare release of 0.7.1.0

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

.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

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