From 6d6281964dcae3d2bf35ee84d3b43c549e95bcbd Mon Sep 17 00:00:00 2001
From: Simon Hengel <sol@typeful.net>
Date: Sun, 7 Dec 2025 14:37:05 +0700
Subject: [PATCH] Publish MicroHs "nightly" binaries

---
 .github/workflows/nightly.yml | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 .github/workflows/nightly.yml

diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml
new file mode 100644
index 00000000..3d028d75
--- /dev/null
+++ b/.github/workflows/nightly.yml
@@ -0,0 +1,24 @@
+name: nightly
+
+permissions:
+  contents: write
+
+on:
+  push:
+    branches:
+      - master
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - run: make minstall
+      - name: publish binaries
+        run: |
+          dst=MicroHs-linux-x86_64.tar.gz
+          tar -czf "$dst" -C "$HOME" .mcabal
+          gh release create nightly --prerelease || (git tag nightly -f && git push --tags -f)
+          gh release upload nightly "$dst" --clobber
+        env:
+          GH_TOKEN: ${{ github.token }}