2025-06-24 21:07:29 +02:00
|
|
|
on:
|
|
|
|
|
push:
|
|
|
|
|
branches:
|
|
|
|
|
- trunk
|
|
|
|
|
jobs:
|
|
|
|
|
test:
|
|
|
|
|
runs-on: host
|
|
|
|
|
steps:
|
|
|
|
|
- run: git clone --depth=1 https://$FORGEJO_TOKEN@forge.cbaines.net/cbaines/guile-knots.git knots-trunk
|
|
|
|
|
- run: git clone --depth=1 https://$FORGEJO_TOKEN@forge.cbaines.net/cbaines/guile-knots.git --branch=pages knots-pages
|
|
|
|
|
- run: |
|
|
|
|
|
cd knots-trunk
|
|
|
|
|
guix shell -D -f guix-dev.scm -- documenta api knots
|
|
|
|
|
guix shell texinfo -- makeinfo --css-ref=https://luis-felipe.gitlab.io/texinfo-css/static/css/texinfo-7.css --no-split --html -c SHOW_TITLE=true -o ../knots-pages/index.html doc/index.texi
|
|
|
|
|
|
|
|
|
|
- run: |
|
|
|
|
|
cd knots-pages
|
|
|
|
|
git add .
|
2025-06-24 21:14:52 +02:00
|
|
|
if [[ -z "$(git status -s)" ]]; then
|
|
|
|
|
echo "Nothing to push"
|
|
|
|
|
else
|
|
|
|
|
git config user.email ""
|
|
|
|
|
git config user.name "Automatic website updater"
|
|
|
|
|
git commit -m "Automatic website update"
|
|
|
|
|
git push
|
|
|
|
|
fi
|
