This repository has been archived by the owner on Oct 4, 2023. It is now read-only.

Delete CNAME #207

	name: Jekyll site CI

	on:
	push:
	branches: [ main ]
	pull_request:
	branches: [ main ]
	repository_dispatch:
	types: [rebuild-documentation]

	# Allows you to run this workflow manually from the Actions tab
	workflow_dispatch:

	jobs:
	build:

	runs-on: ubuntu-latest

	steps:
	- name: Checkout repository
	uses: actions/checkout@v2
	- name: Checkout submodules
	run: git submodule update --init --recursive --remote --force
	- name: Add eventual differences
	run: git add .
	- name: Identify
	run: git config user.name 'github-actions[bot]' && git config user.email 'github-actions[bot]@users.noreply.github.com'
	- name: Create commit
	run: git commit -m "Auto-generated commit"
	- name: Push upstream
	run: git push
	- 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 -R 777 /srv/jekyll && jekyll build --future --disable-disk-cache -V"
	- name: Upload
	run: \|
	curl --fail --request POST \
	--url https://api.github.com/repos/${{ github.repository }}/pages/builds \
	--header "Authorization: Bearer $USER_TOKEN"
	env:
	# You must create a personal token with repo access as GitHub does
	# not yet support server-to-server page builds.
	USER_TOKEN: ${{ secrets.BOT_PAT_TOKEN }}

Provide feedback