.gitea/workflows/test-and-build.yml

@@ -1,9 +1,13 @@
-name: Test, Build, and Release
+name: Test and Build
 
-on: 
+on:
   push:
-    tags:
+    branches:
-      - '*'
+      - main
+  pull_request:
+    types:
+      - opened
+      - synchronize
 
 jobs:
   test:
@@ -13,9 +17,8 @@ jobs:
         username: ${{ secrets.REGISTRY_USERNAME }}
         password: ${{ secrets.REGISTRY_PASSWORD }}
     steps:
-      - uses: actions/checkout@v3
+      - name: Checkout code
-        with:
+        uses: actions/checkout@v3
-          fetch-depth: 0
 
       - name: Set up cache for Cabal
         uses: actions/cache@v4
@@ -54,9 +57,19 @@ jobs:
         username: ${{ secrets.REGISTRY_USERNAME }}
         password: ${{ secrets.REGISTRY_PASSWORD }}
     steps:
-      - uses: actions/checkout@v3
+      - name: Checkout code
+        uses: actions/checkout@v3
+
+      - name: Set up cache for Cabal
+        uses: actions/cache@v4
         with:
-          fetch-depth: 0
+          path: |
+            ~/.cache/cabal
+            ~/.config/cabal
+            ~/.local/state/cabal
+          key: cabal-${{ hashFiles('tricu.cabal') }}
+          restore-keys: |
+            cabal-
 
       - name: Set up cache for Nix
         uses: actions/cache@v4
@@ -67,20 +80,9 @@ jobs:
           key: nix-${{ hashFiles('flake.lock') }}
           restore-keys: |
             nix-
-  
+
       - name: Build binary
         run: |
           nix build
           ls -alh ./result/bin/tricu
-  
+
-      - name: Setup go for release actoin
-        uses: actions/setup-go@v5
-        with:
-          go-version: '>=1.20.1'
-  
-      - name: Release binary
-        uses: https://gitea.com/actions/release-action@main
-        with:
-          files: |-
-            ./result/bin/tricu
-          api_key: '${{ secrets.RELEASE_TOKEN }}'

tricu.cabal

@@ -1,7 +1,7 @@
 cabal-version: 1.12
 
 name:           tricu
-version:        0.7.0
+version:        0.6.0
 description:    A micro-language for exploring Tree Calculus
 author:         James Eversole
 maintainer:     james@eversole.co