Update CI a bit
This commit is contained in:
parent
8533398f2a
commit
92ccfd804b
@ -1,31 +0,0 @@
|
|||||||
---
|
|
||||||
when:
|
|
||||||
event:
|
|
||||||
- push
|
|
||||||
branch: main
|
|
||||||
|
|
||||||
steps:
|
|
||||||
lint:
|
|
||||||
name: Generate docs
|
|
||||||
image: pseudomuto/protoc-gen-doc
|
|
||||||
secrets:
|
|
||||||
- softplayer_bot_ssh_key
|
|
||||||
- git_known_hosts
|
|
||||||
commands:
|
|
||||||
- mkdir -p ~/.ssh
|
|
||||||
- apk update && apk add git openssh
|
|
||||||
- echo $SOFTPLAYER_BOT_SSH_KEY | base64 -d > ~/.ssh/id_ed25519
|
|
||||||
- echo $GIT_KNOWN_HOSTS > ~/.ssh/known_hosts
|
|
||||||
- cat ~/.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")
|
|
||||||
- eval `ssh-agent`
|
|
||||||
- ssh-add ~/.ssh/id_ed25519
|
|
||||||
- git config --global user.email "allanger@badhouseplants.net"
|
|
||||||
- git config --global user.name "Softplayer Bot"
|
|
||||||
- git clone git@git.badhouseplants.net:softplayer/softplayer-proto.git /tmp/repo
|
|
||||||
- git -C /tmp/repo checkout generated-documentation
|
|
||||||
- mv README.md /tmp/repo/README.md
|
|
||||||
- git -C /tmp/repo add .
|
|
||||||
- git -C /tmp/repo commit -m "Update documentation"
|
|
||||||
- git -C /tmp/repo push
|
|
Loading…
Reference in New Issue
Block a user