image: debian/sid
secrets:
- f80b756a-e99e-4936-a62a-93c2c2c6dfd5 # klapki auth token
- d9cc88fb-6e8e-4ff6-b2bf-d0ec6641bb15 # klapki SSH key v2
packages:
- clang
- libefivar-dev
- libefiboot-dev
- libssl-dev
- ronn
- curl
tasks:
- build-gcc: |
cd klapki
make
make clean
- build-clang: |
cd klapki
CC=clang CXX=clang++ make
- readme: |
cd klapki
set +x # Avoid echoing the token
curl -H "Content-Type: text/html" \
-H "Authorization: Bearer $(cat ~/.readme-token)" \
-XPUT --fail \
--data-binary @out/man/klapki.8.html_fragment \
'https://git.sr.ht/api/repos/klapki-man/readme' &&
echo "README set"
- manpages: |
git -C klapki/ worktree add ../klapki-man man
cd klapki-man
git ls-tree -z --name-only HEAD | xargs -0 rm -r
mv ../klapki/out/man/* .
git add .
git config user.email "nabijaczleweli/autouploader@nabijaczleweli.xyz"
git config user.name "наб autouploader"
git commit -m "Manpage update by job $JOB_ID" || exit 0
git remote set-url origin 'git@git.sr.ht:~nabijaczleweli/klapki'
ssh-keyscan git.sr.ht > ~/.ssh/known_hosts
git push