BEPU2024 slides #216

	name: Build
	on: [push, pull_request]
	jobs:
	build:
	runs-on: ubuntu-latest
	env:
	SOURCE_DATE_EPOCH: 1640995200
	steps:
	- uses: actions/checkout@v3
	- name: Install
	run: \|
	sudo apt-get update -y
	sudo apt-get install -y texlive-latex-recommended texlive-fonts-recommended texlive-fonts-extra texlive-latex-extra texlive-science texlive-bibtex-extra lmodern
	- name: Build
	run: ./build.sh
	- name: Upload
	if: ${{ github.ref == 'refs/heads/master' }}
	run: \|
	git clone --depth 1 https://${{ secrets.GH_TOKEN }}@github.com/openturns/openturns.github.io.git /tmp/io
	mkdir -p /tmp/io/presentation/master
	rm -r developer/tps/annex
	find . -name "*.pdf" \| grep -v figure \| xargs -I{} cp -v {} /tmp/io/presentation/master
	cd /tmp/io
	touch .nojekyll
	git config user.email "support@gh.com"
	git config user.name "GitHub Actions"
	git add -A .
	if test `git diff HEAD \| wc -c` -eq 0; then exit 0; fi
	git commit -a -m "GitHub Actions build ${GITHUB_REPOSITORY} ${GITHUB_RUN_ID}"
	git push --quiet origin master > /dev/null 2>&1

Provide feedback