ADD assets and topics by Nils #30

	name: Build site CI

	on:
	push:
	branches:
	- main
	pull_request:
	branches:
	- main

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- name: Checkout repository
	uses: actions/checkout@v4

	- name: Build the site in the jekyll/builder container
	run: \|
	docker run \
	-v ${{ github.workspace }}:/srv/jekyll -v ${{ github.workspace }}/_site:/srv/jekyll/_site \
	jekyll/builder:latest /bin/bash -c "chmod a+w /srv/jekyll/Gemfile.lock && chmod 777 /srv/jekyll && jekyll build --future"

	- name: Push the site to the gh-pages branch
	if: ${{ github.event_name == 'push' }}
	run: \|
	sudo chown $( whoami ):$( whoami ) ${{ github.workspace }}/_site
	cd ${{ github.workspace }}/_site
	git init -b gh-pages
	git config user.name ${{ github.actor }}
	git config user.email ${{ github.actor }}@users.noreply.github.com
	git remote add origin https://x-access-token:${{ github.token }}@github.com/${{ github.repository }}.git
	git add .
	git commit -m "Deploy site built from commit ${{ github.sha }}"
	git push -f -u origin gh-pages

Provide feedback