2024-10-10 23:38:31 +02:00
|
|
|
name: build site
|
|
|
|
on:
|
|
|
|
push:
|
|
|
|
branches:
|
|
|
|
- main
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
build_site:
|
|
|
|
runs-on: nix
|
|
|
|
steps:
|
|
|
|
- uses: actions/checkout@v3
|
|
|
|
- name: Build the site
|
|
|
|
run: nix-build
|
|
|
|
|
2024-10-10 23:51:10 +02:00
|
|
|
- name: Update dependencies and open PR if necessary
|
|
|
|
run: |
|
2024-10-10 23:52:53 +02:00
|
|
|
cp -r result/* .
|
2024-10-10 23:52:18 +02:00
|
|
|
rm result
|
2024-10-10 23:51:10 +02:00
|
|
|
git switch -C pages
|
2024-10-10 23:52:18 +02:00
|
|
|
git add *
|
2024-10-10 23:51:10 +02:00
|
|
|
|
|
|
|
git config user.name "DGNum Chores"
|
|
|
|
git config user.email "tech@dgnum.eu"
|
|
|
|
|
|
|
|
git commit --message "chore(npins): Update"
|
|
|
|
git push --set-upstream origin pages --force
|