2023-02-28 17:58:48 +00:00
|
|
|
variables:
|
|
|
|
|
GIT_SUBMODULE_STRATEGY: recursive
|
|
|
|
|
|
2023-07-12 18:18:40 +00:00
|
|
|
test:
|
|
|
|
|
image: danger89/cmake:latest
|
|
|
|
|
script:
|
|
|
|
|
- apt update
|
|
|
|
|
- apt install -y libbsd-dev
|
|
|
|
|
- mkdir build
|
|
|
|
|
- cd build
|
|
|
|
|
- cmake ..
|
|
|
|
|
- make
|
|
|
|
|
- ./tests
|
|
|
|
|
|
2023-02-28 17:58:48 +00:00
|
|
|
docs:
|
2023-07-12 18:18:40 +00:00
|
|
|
image: polinux/mkdocs
|
2023-02-28 17:58:48 +00:00
|
|
|
timeout: 5 minutes
|
2023-10-25 16:02:56 +00:00
|
|
|
rules:
|
|
|
|
|
- if: $CI_COMMIT_BRANCH == 'master'
|
2023-02-28 17:58:48 +00:00
|
|
|
script:
|
|
|
|
|
- apk add openssh-client
|
|
|
|
|
- mkdir -p ~/.ssh
|
|
|
|
|
- ssh-keyscan -H fputs.com >> ~/.ssh/known_hosts
|
|
|
|
|
- echo "$ssh_key" >> ~/.ssh/id_rsa
|
|
|
|
|
- chmod -R 700 ~/.ssh
|
|
|
|
|
- eval "$(ssh-agent -s)"
|
|
|
|
|
- ssh-add ~/.ssh/id_rsa
|
2023-02-28 18:01:33 +00:00
|
|
|
- mkdocs build
|
2023-02-28 18:15:43 +00:00
|
|
|
- ssh debian@fputs.com rm -rf /var/www/fputs/docs/libflint
|
|
|
|
|
- ssh debian@fputs.com mkdir -p /var/www/fputs.com/docs/libflint
|
2023-02-28 19:53:27 +00:00
|
|
|
- ssh debian@fputs.com chmod 755 /var/www/fputs.com/docs/libflint
|
2023-02-28 18:08:18 +00:00
|
|
|
- scp -r ./site/* debian@fputs.com:/var/www/fputs.com/docs/libflint/
|
