mirror of
https://gitlab.cern.ch/wotsubo/PSBoardDataBase.git
synced 2025-06-08 05:55:42 +09:00
Merge branch 'main' of ssh://gitlab.cern.ch:7999/wotsubo/PSBoardDataBase
This commit is contained in:
commit
23d2ed02e2
1 changed files with 1 additions and 0 deletions
|
@ -35,6 +35,7 @@ pages:
|
|||
include("docs/make.jl")'
|
||||
- mkdir -p public
|
||||
- mv docs/build public/dev
|
||||
- ls docs/src -R
|
||||
- mv docs/src/assets/*.html public
|
||||
artifacts:
|
||||
paths:
|
||||
|
|
Loading…
Add table
Reference in a new issue