From 12d4a68efedbbd88df3a5fd9889e554059f9b860 Mon Sep 17 00:00:00 2001
From: Someone Serge <sergei.kozlukov@aalto.fi>
Date: Mon, 25 Dec 2023 17:05:21 +0000
Subject: [PATCH] ci: add the (Nix) flakestry workflow

---
 .github/workflows/nix-flakestry.yml | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 .github/workflows/nix-flakestry.yml

diff --git a/.github/workflows/nix-flakestry.yml b/.github/workflows/nix-flakestry.yml
new file mode 100644
index 000000000..3abfb3509
--- /dev/null
+++ b/.github/workflows/nix-flakestry.yml
@@ -0,0 +1,23 @@
+# Make the flake discoverable on https://flakestry.dev
+name: "Publish a flake to flakestry"
+on:
+    push:
+        tags:
+        - "v?[0-9]+.[0-9]+.[0-9]+"
+        - "v?[0-9]+.[0-9]+"
+    workflow_dispatch:
+        inputs:
+            tag:
+                description: "The existing tag to publish"
+                type: "string"
+                required: true
+jobs:
+    publish-flake:
+        runs-on: ubuntu-latest
+        permissions:
+            id-token: "write"
+            contents: "read"
+        steps:
+            - uses: flakestry/flakestry-publish@main
+              with:
+                version: "${{ inputs.tag || github.ref_name }}"