julia
docs: print extra information when deploying
#46030
Merged

docs: print extra information when deploying #46030

mortenpi
mortenpi docs: print extra information when deploying
3f020774
mortenpi mortenpi added docs
DilumAluthge DilumAluthge requested a review from staticfloat staticfloat 3 years ago
DilumAluthge DilumAluthge requested a review from fredrikekre fredrikekre 3 years ago
staticfloat
staticfloat approved these changes on 2022-07-13
DilumAluthge DilumAluthge merged b3b229e2 into master 3 years ago
mortenpi mortenpi deleted the mp/docdebug branch 3 years ago
DilumAluthge DilumAluthge added backport 1.8
mortenpi mortenpi removed docs
mortenpi mortenpi added docsystem
KristofferC KristofferC removed backport 1.8

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone