Update UpdatePluto.yml: allow setting version number instead of SHA

JuliaPluto · Dec 14, 2023 · 5b3556e · 5b3556e
1 parent f72fbbe
commit 5b3556e
Showing 1 changed file with 8 additions and 3 deletions.
diff --git a/.github/workflows/UpdatePluto.yml b/.github/workflows/UpdatePluto.yml
@@ -4,9 +4,9 @@ on:
     workflow_dispatch:
         inputs:
           plutocommitsha:
-            description: 'Commit SHA'     
+            description: 'Commit SHA or version number'     
             required: true
-            default: '3df8390a'
+            default: '3df8390a or 0.19.36'
 
 concurrency:
     group: updatepluto
@@ -37,7 +37,12 @@ jobs:
                   Pkg.instantiate()
                   Pkg.resolve()
                   Pkg.rm("Pluto")
-                  Pkg.add([Pkg.PackageSpec(name="Pluto", rev="${{ github.event.inputs.plutocommitsha }}")])
+                  input = "${{ github.event.inputs.plutocommitsha }}"
+                  if occursin(".", input)
+                      Pkg.add([Pkg.PackageSpec(name="Pluto", version=parse(VersionNumber, input))])
+                  else
+                      Pkg.add([Pkg.PackageSpec(name="Pluto", rev=input)])
+                  end
                   Pkg.update()
                   '