move build process to gitlab CI using python docker image

This commit is contained in:
2024-01-25 17:32:21 +01:00
parent d420066615
commit f4df4c8a84
56 changed files with 9 additions and 5 deletions

View File

@@ -1,15 +1,18 @@
pages:
stage: deploy
image:
name: python:latest
entrypoint: [""]
script:
- echo "No public folder, we have to copy mkdocs site folder to a new 'public/' folder"
- cp -r mkdocs/site .public
- mv .public public
- pip install mkdocs-material
- mkdocs build --site-dir public
# List of tags that are used to select a runner.
tags:
- shared
- gitlab-pages
- shell
- docker
artifacts:
paths:
- public
only:
- main
- main

View File

Before

Width:  |  Height:  |  Size: 29 KiB

After

Width:  |  Height:  |  Size: 29 KiB

View File

Before

Width:  |  Height:  |  Size: 29 KiB

After

Width:  |  Height:  |  Size: 29 KiB

View File

Before

Width:  |  Height:  |  Size: 1.8 KiB

After

Width:  |  Height:  |  Size: 1.8 KiB

1
theme/pushme.txt Normal file
View File

@@ -0,0 +1 @@
pushme