Revert "Delete .github/workflows/flakestry.yaml"

This reverts commit fd60f6b.
srid · Sep 26, 2023 · 63a1608 · 63a1608
1 parent fd60f6b
commit 63a1608
Showing 1 changed file with 23 additions and 0 deletions.
diff --git a/.github/workflows/flakestry.yaml b/.github/workflows/flakestry.yaml
@@ -0,0 +1,23 @@
+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 }}"
+                url: "https://staging.flakestry.dev"