Add release workflow

.github/workflows/release.yml

@@ -0,0 +1,61 @@
+name: "Release"
+on:
+  push:
+    tags:
+      - "*"
+
+jobs:
+  nixBuild:
+    name: Build ${{ matrix.name }} binary
+    runs-on: ${{ matrix.os }}
+    permissions:
+        contents: read
+    strategy:
+      matrix:
+        include:
+          - os: ubuntu-latest
+            name: Linux (x86_64)
+            tuple: x86_64-linux
+          - os: macos-latest
+            name: macOS (x86_64)
+            tuple: x86_64-macos
+          - os: macos-latest-xlarge
+            name: macOS (aarch64)
+            tuple: aarch64-macos
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+      - name: Install Nix
+        uses: DeterminateSystems/nix-installer-action@v6
+      - name: Configure Nix cache
+        if: runner.arch == 'X64'
+        # Unfortunately the action does not work on ARM runners
+        uses: DeterminateSystems/magic-nix-cache-action@v2
+      - name: Build redistributable echidna
+        run: |
+          nix build .#echidna-redistributable --out-link redistributable
+          tar -czf "echidna-${{ matrix.tuple }}.tar.gz" -C ./redistributable/bin/ echidna
+      - name: Upload artifact
+        uses: actions/upload-artifact@v3
+        with:
+          name: echidna-release
+          path: echidna-${{ matrix.tuple }}.tar.gz
+  release:
+    name: Create release
+    needs: [nixBuild]
+    runs-on: ubuntu-latest
+    permissions:
+        contents: write
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+      - name: Download binaries
+        uses: actions/download-artifact@v3
+        with:
+          name: echidna-release
+      - name: Create GitHub release and upload binaries
+        uses: softprops/action-gh-release@v0.1.15
+        with:
+          draft: true
+          files: |
+            ./echidna-*.tar.gz