From b17819929fbdced947b6542d5cbf0237c81cd113 Mon Sep 17 00:00:00 2001
From: Daniel <daniel.winkler@s.wu.ac.at>
Date: Tue, 26 Aug 2025 13:54:45 +1000
Subject: [PATCH] Add GitHub Actions workflow for FlakeHub publishing

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

diff --git a/.github/workflows/flakehub-publish-rolling.yml b/.github/workflows/flakehub-publish-rolling.yml
new file mode 100644
index 0000000..8403bbe
--- /dev/null
+++ b/.github/workflows/flakehub-publish-rolling.yml
@@ -0,0 +1,22 @@
+name: "Publish every Git push to main to FlakeHub"
+on:
+  push:
+    branches:
+      - "main"
+jobs:
+  flakehub-publish:
+    runs-on: "ubuntu-latest"
+    permissions:
+      id-token: "write"
+      contents: "read"
+    steps:
+      - uses: "actions/checkout@v5"
+        with:
+          persist-credentials: false
+      - uses: "DeterminateSystems/determinate-nix-action@v3"
+      - uses: "DeterminateSystems/flakehub-push@main"
+        with:
+          name: "dwinkler1/np"
+          rolling: true
+          visibility: "public"
+          include-output-paths: true