Build

Update to 1.24 #40

	name: Build
	on: [push, pull_request]
	jobs:
	linux:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	- name: Build
	run: \|
	docker build . -t debian
	docker run -v `pwd`:/io debian /io/run_docker_build.sh `id -u` `id -g`
	- name: Upload
	if: startsWith(github.ref, 'refs/tags/')
	run: \|
	git clone --depth 1 https://${{ secrets.GH_TOKEN }}@github.com/openturns/openturns.github.io.git /tmp/io
	rm -rf /tmp/io/apt
	mkdir -p /tmp/io/apt
	cp -rv ubuntu debian public.key /tmp/io/apt
	cd /tmp/io
	touch .nojekyll
	git config user.email "support@gh.com"
	git config user.name "GitHub Actions"
	git add -A .
	git commit -a -m "GitHub Actions build ${GITHUB_REPOSITORY} ${GITHUB_RUN_ID}"
	git push --quiet origin master > /dev/null 2>&1

Provide feedback