File tree Expand file tree Collapse file tree 1 file changed +6
-6
lines changed Expand file tree Collapse file tree 1 file changed +6
-6
lines changed Original file line number Diff line number Diff line change @@ -2,10 +2,11 @@ name: Docs
22
33on :
44 push :
5- branches : [main]
6- tags : ["*"]
5+ branches :
6+ - main
7+ tags :
8+ - " *"
79 pull_request :
8- workflow_dispatch :
910
1011jobs :
1112 docs :
@@ -15,15 +16,14 @@ jobs:
1516 contents : write
1617 pull-requests : read
1718 statuses : write
18- runs-on : ubuntu-22.04
19+ runs-on : ubuntu-latest
1920 steps :
2021 - uses : actions/checkout@v4
2122 - uses : julia-actions/setup-julia@v2
2223 with :
2324 version : " 1"
2425 show-versioninfo : true
25- - name : Build and deploy docs
26- run : julia --project=docs -e 'using Pkg; Pkg.develop(path="."); Pkg.instantiate(); include("docs/make.jl")'
26+ - run : julia --project=docs -e 'using Pkg; Pkg.develop(path="."); Pkg.instantiate(); include("docs/make.jl")'
2727 env :
2828 GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
2929 DOCUMENTER_KEY : ${{ secrets.DOCUMENTER_KEY }}
You can’t perform that action at this time.
0 commit comments