build.yml

name: Build
on: [push, pull_request]
jobs:
  linux:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
      - name: Pull
        run: docker build . -t debian
      - name: Build
        run: 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