mirror of
https://github.com/brl/mutter.git
synced 2024-11-25 01:20:42 -05:00
ci: Do not clone the mutter repo when deploying pages
We don't use any source file Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/3024>
This commit is contained in:
parent
3c975f78bc
commit
b0f35cca4d
@ -633,6 +633,8 @@ reference:
|
||||
pages:
|
||||
stage: deploy
|
||||
needs: ['reference']
|
||||
extends:
|
||||
- .skip-git-clone
|
||||
script:
|
||||
- mv references public/
|
||||
artifacts:
|
||||
|
Loading…
Reference in New Issue
Block a user