File tree Expand file tree Collapse file tree 3 files changed +9
-5
lines changed Expand file tree Collapse file tree 3 files changed +9
-5
lines changed Original file line number Diff line number Diff line change 11name : TagBot
22on :
3- schedule :
4- - cron : 0 * * * *
3+ issue_comment :
4+ types :
5+ - created
6+ workflow_dispatch :
57jobs :
68 TagBot :
9+ if : github.event_name == 'workflow_dispatch' || github.actor == 'JuliaTagBot'
710 runs-on : ubuntu-latest
811 steps :
912 - uses : JuliaRegistries/TagBot@v1
1013 with :
1114 token : ${{ secrets.GITHUB_TOKEN }}
15+ ssh : ${{ secrets.DOCUMENTER_KEY }}
Original file line number Diff line number Diff line change 22Documenter = " e30172f5-a6a5-5a46-863b-614d45cd2de4"
33
44[compat ]
5- Documenter = " ~0.24 "
5+ Documenter = " ~0.26 "
Original file line number Diff line number Diff line change @@ -13,8 +13,8 @@ makedocs(
1313 ]
1414)
1515
16- deploydocs (deps = nothing , make = nothing ,
16+ deploydocs (
1717 repo = " github.com/JuliaSmoothOptimizers/SolverTools.jl.git" ,
18- target = " build " ,
18+ push_preview = true ,
1919 devbranch = " master"
2020)
You can’t perform that action at this time.
0 commit comments