[ fix #8 ] Automate Release on Hackage with GitHub Actions

agda · Oct 25, 2021 · aaf4e7f · aaf4e7f
1 parent 104d3db
commit aaf4e7f
Showing 1 changed file with 9 additions and 1 deletion.
diff --git a/.github/workflows/release.yaml b/.github/workflows/release.yaml
@@ -27,4 +27,12 @@ jobs:
         tag_name: ${{ github.ref }}
         release_name: ${{ github.ref }}
         draft: false
-        prerelease: false
+        prerelease: false
+    - name: Upload to Hackage 
+      id: upload_hackage 
+      env:
+        HACKAGE_API_KEY: ${{ secrets.HACKAGE_API_KEY }}
+      steps:
+        - uses: actions/checkout@v2
+        - uses: freckle/stack-upload-action@main
+