Update Pollen.yml

Author: lorenzoh

.github/workflows/Pollen.yml

@@ -1,5 +1,5 @@
-# Adapted from https://github.com/MichaelHatherly/Publish.jl
-name: Publish
+
+name: Pollen
 
 on:
   push:
@@ -25,10 +25,10 @@ jobs:
         run: |
           cd gh-pages
           julia --color=yes --project=../docs -e "using Pkg; Pkg.instantiate()"
-          julia --color=yes --project=../docs -e 'using Pkg; Pkg.develop(path="..")'
+          julia --color=yes --project=../docs -e 'using Pkg; Pkg.develop(path=".."); Pkg.add(Pkg.PackageSpec(url="https://github.com/lorenzoh/Pollen.jl", rev="main"))'
           julia --color=yes --project=../docs ../docs/make.jl
           git config user.name github-actions
           git config user.email [email protected]
           git add .
           git commit -m "(dev) Built by Publish.jl."
-          git push
+          git push