From c3c5dee186cb9662df3978c1b62303ff3c159a13 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <edolstra@gmail.com>
Date: Fri, 20 Sep 2024 17:25:48 +0200
Subject: [PATCH] Push releases to FlakeHub

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

diff --git a/.github/workflows/flakehub.yml b/.github/workflows/flakehub.yml
new file mode 100644
index 0000000..0cc5aa7
--- /dev/null
+++ b/.github/workflows/flakehub.yml
@@ -0,0 +1,17 @@
+name: Publish on FlakeHub
+on:
+  push:
+    tags:
+      - "v*.*.*"
+jobs:
+  publish:
+    runs-on: "ubuntu-latest"
+    permissions:
+      id-token: "write"
+      contents: "read"
+    steps:
+      - uses: "actions/checkout@v3"
+      - uses: "DeterminateSystems/nix-installer-action@main"
+      - uses: "DeterminateSystems/flakehub-push@main"
+        with:
+          visibility: "public"