Update CI a bit

This commit is contained in:
Nikolai Rodionov 2024-05-06 09:43:25 +02:00
parent 075a72077f
commit 8533398f2a
Signed by: allanger
GPG Key ID: 0AA46A90E25592AD

View File

@ -19,6 +19,8 @@ steps:
- cat ~/.ssh/id_ed25519 - cat ~/.ssh/id_ed25519
- chmod 0600 ~/.ssh/id_ed25519 - chmod 0600 ~/.ssh/id_ed25519
- protoc --proto_path=./proto --doc_out=. --doc_opt=markdown,README.md $(find ./proto -type f -iname "*.proto") - protoc --proto_path=./proto --doc_out=. --doc_opt=markdown,README.md $(find ./proto -type f -iname "*.proto")
# To make sure there is always a change, even when protos are not updated
- echo "Generated on $(date)" >> README.md
- eval `ssh-agent` - eval `ssh-agent`
- ssh-add ~/.ssh/id_ed25519 - ssh-add ~/.ssh/id_ed25519
- git config --global user.email "allanger@badhouseplants.net" - git config --global user.email "allanger@badhouseplants.net"
@ -27,5 +29,5 @@ steps:
- git -C /tmp/repo checkout generated-documentation - git -C /tmp/repo checkout generated-documentation
- mv README.md /tmp/repo/README.md - mv README.md /tmp/repo/README.md
- git -C /tmp/repo add . - git -C /tmp/repo add .
- git -C /tmp/repo commit -m "Update documentation" - git -C /tmp/repo commit -m "Update documentation from $CI_COMMIT_SHA"
- git -C /tmp/repo push - git -C /tmp/repo push