ci.yml

###############################################################################
# NOTE: Resource limits for public repos (last update: Dec. 2021)
#       (see also on Github: Settings | Account/Org | Billing & plans):
#	- 2000 min/month (== 16 US$)
#		- linux devisor: 1
#		- macosx devisor: 10 => 200 min/month
#		- windows devisor: 2 => 1000 min/month
#	- 10 GB cache storage
#		- delete on demand: FIFO
#		- max. retention: 90 days (if a file gets downloaded, counter restarts)
#	- package/action storage: 500 MB
#	- total concurent jobs:
#		- linux: 20
#		- macos: 5
#	- max job execution time: 6 h (sieht aber eher wie 24h aus)
#	- max workflow execution time: 72 h
#	- API requests: 1000 req/h
#	- matrix generated jobs/workflow: max. 256
#	- max. workflows: 500 every 10 s
#
#	- max. 1.000 organization secrets, 100 repository secrets, 100 env secrets.
#	- per workflow: 100 repo, the first 100 org, 100 env secrets.
#   - max. 64 KiB/secret
#
#   VM:
#   - 14 GB SSD local disk
#   - 2 CPUs
#   - 7 GB RAM
#
# Also note, that the jobs contain a lot of code duplication and thus one needs
# to take care to keep all jobs in sync (GHA provides no proper alternatives).
# So the only way to reduce the bloat and make stuff consistent is to move it
# to the utils/gha-helper.sh script. (Forget re-using workflows - buggy as hell)
#
# Last but not least take care wrt. conditional expressions - very bogus and
# often do not, what the actual intention is (e.g. GHA formats an expr as text
# if it encounters a '${{' and compares this literal with null|'' to decide
# between true or false. Other wiered stuff: tags a logical not ('!') as syntax
# error, ...). So one should really test this stuff before using it. Testing
# should be done in the developers forked repository to avoid hitting the
# the resource limits of the Hets repo.

# NOTE wrt. 'stack':
# Stack is not POSIX compatible wrt. passing arguments to called utils. So at
# least on [re]make/update stack, make sure POSIXLY_CORRECT is unset.

# Rule of thumb:
# Down/Upload speed seen: ~10..30+ MB/s for AWS ("intern"), 5 MB/s extern (IKS).
###############################################################################


# Build hets and run related tests for CI
name: CI

env:
  # Dir cannot be directly in /tmp or /var/tmp because Microsoft does not
  # understand dir mode 01777 and errors out with dumb messages. /dev/shm/
  # does not work for stack - not enough space. /tmp as well as /var/tmp are on
  # /dev/sd*.
  STACK_ROOT: /var/tmp/hets/stack
  GHAH: utils/gha-helper.sh
  MISSING_GUI_PKGS: 'libpango1.0-dev libgtk2.0-dev'
  HETS_ARC: hets.tzst
  PREFIX: /var/tmp/hets/hets-install
  HETS_LIB: /var/tmp/hets/hets-install/lib/hets/hets-lib
  HETS_LIB_REPO: https://github.com/spechub/Hets-lib.git
  HETS_PPA: http://ppa.launchpad.net/hets/hets/ubuntu
  # URL to use to skip hets builds and download the artifacts hets-server.tzst
  # + hets-desktop.tzst instead. Similar for docs: Try to download the docs.tgz
  # from the same URL. Saves a lot of time when troubleshooting tests.
  #FAKE_URL: http://stats.iks.cs.ovgu.de/tmp
  # If set to true, upload initial stack and hets src tree as stack0 and hets0
  # as well as the final stack (stack1) to the artifact storage, too. Note that
  # the post build Hets dir gets always uploaded to the artifact repo and thus
  # can be downloaded via the related GHA pages of the workflow for one day.
  DEBUG: 'false'
  # Where to push generated docs. Comment out to disable pushing docs.
  PUSH_URL: http://theo.cs.ovgu.de/cgi-bin/ghapush

# When to trigger this workflow. Since expression handling is absolutely
# brain damaged (typical Microsoft crap) and buggy, one can't simple set an env
# var above and exec jobs wrt. to its value. So to disable this workflow either
# remove this file from this directory OR rename master e.g. to never_happens in
# on.push.branches and append '**' to the on.pull_request.paths-ignore, etc..
on:
  push:
    branches:
      - master
  pull_request:
    paths-ignore:
      - '.github/**'				# re-run the job manually if needed
      - '.gitignore'
      - '.travis.yml'
      - 'LICENSE.txt'
      - 'LIZENZ.txt'
      - 'README*'
      - '_parameters'
      - 'debian/**'
      - 'doc/**'
      - 'ideas'
      - 'pretty/**'
      - 'sample-ghci-script'
      - 'stack.yaml'
      - 'todo*'
      - '**.tex'
      - '**.pdf'
      - 'utils/**'
      - '!utils/gha-helper.sh'
      - '!utils/check*'
      - 'Docker/**'
      - 'GMP/CoLoSS/data/GMP.tar.gz'
      - 'GMP/papers/**'
      - 'HolLight/OcamlTools/**'

# Run this workflow for the latest commit in a branch, only. I.e. if there is
# any instance for an older commit still running, stop it and kill its jobs.
concurrency:
  group: pr-build-and-test-${{ github.head_ref }}
  cancel-in-progress: true

# A workflow is made up of one or more jobs that can run seq. or in parallel but
# always in a separate, fresh container. So each job needs to fetch the work
# from previous jobs and checkout the repo again, if needed.
jobs:

  ################################ PREPARE ###################################
  # This workflow uses 'stack' to build Hets and related tests. To avoid
  # building it agaian and again within each job, we build it once, upload the
  # build named stack to the github cache store and fetch it on demand for
  # each job.
  ############################################################################
  job_1:
    # Takes ~ 21 min | 35 s.
    name: Build Stack
    runs-on: ubuntu-20.04
    # If the job takes longer than 30 min, something is going wrong and we want
    # GHA to kill the job to save build time. E.g. stack sometimes goes in an
    # endless loop if compilation fails.
    timeout-minutes: 30
    steps:
      # Info about the running environment makes troubleshooting easier. < 1s
      - name: Dump GitHub context
        env:
          GITHUB_CTX: ${{ toJSON(github) }}
          MY_ENV: ${{ toJSON(env) }}
          RUNNER_CTX: ${{ toJSON(runner) }}
        run: |
          mkdir -p ${{ env.STACK_ROOT }}
          printf "github:\n$GITHUB_CTX\n"
          printf "env:\n$MY_ENV\n"
          printf "env:\n$RUNNER_CTX\n"
          df -h
          mount

      # Actually we only need stack.yml to calculate the hash. But the checkout
      # takes ~ 5s, only => not worth to optimize/add complexity.
      - name: Checkout
        uses: actions/checkout@v2

      # If stack.yaml has not been changed, we use the cached copy if available,
      # which saves ~ 20 min. On hit (~ 495 MiB) it takes ~ 25 ± 5s.
      # NOTE: There is no way to remove or update a cached file. So one needs
      # to modify stack.yaml to create a new cache entry =8-( . The action/cache
      # automagically uploads the stack before job completion, _if there is no_
      # copy cached yet.
      - name: Fetch stack cache
        id: stack_cache
        uses: actions/cache@v2
        with:
          path: ${{ env.STACK_ROOT }}
          key: stack-${{ runner.os }}-${{ hashFiles('stack.yaml') }}

      # Install missing packages. Since it is not a minimal server image, almost
      # everything is already installed. Usually GUI stuff is missing, only.
      # ~ 24 s.
      - name: Install packages
        if: steps.stack_cache.outputs.cache-hit != 'true'
        run: |
          echo 'man-db man-db/auto-update boolean false' | \
              sudo debconf-set-selections
          sudo rm -f /var/lib/man-db/auto-update
          sudo apt-get update
          sudo apt-get install ksh93 || sudo apt-get install ksh
          sudo apt-get install ${{ env.MISSING_GUI_PKGS }}

      # ~ 20 min
      - name: Build
        if: steps.stack_cache.outputs.cache-hit != 'true'
        run: |
          ${{ env.GHAH }} -c showEnv
          cp -pL `which ksh93` ${{ env.STACK_ROOT }}/
          unset POSIXLY_CORRECT
          make stack && \
              rm -rf ${{ env.STACK_ROOT }}/programs/x86_64-linux/*/share/doc ||\
              mv ${{ env.STACK_ROOT }} ${{ env.STACK_ROOT }}.fail
          rm -f ${{ env.STACK_ROOT }}/programs/x86_64-linux/*.tar.xz
          ls -al ${{ github.workspace }}
          ls -al ${{ env.STACK_ROOT }} && du -sh ${{ env.STACK_ROOT }}

      - name: Version
        run: |
          stack --version
          stack exec -- ghc -V


  ################################# BUILD ####################################
  # Build Hets desktop and server version in parallel using the cached stack
  # and preserve the build dir for later testing.
  ############################################################################
  job_2a:
    # Takes ~ 18 min | 45 s.
    name: Build Hets Server
    #if: github.event_name == 'pull_request'
    runs-on: ubuntu-20.04
    needs: job_1
    steps:
      - name: Checkout
        if: startsWith(env.FAKE_URL, 'http') == false
        uses: actions/checkout@v2

        # Stack blindly links in all extra-deps, no matter, what flags.Hets say
        # (or what is really needed) =8-( - so need to strip off the GUI stuff.
        # We need to do it here, otherwise the hash changes => no cached stack.
      - name: Adjust stack.yaml
        if: startsWith(env.FAKE_URL, 'http') == false
        run: sed -i.orig -e '/gtk-/ d' -e '/gtkglade/ s/true/false/' stack.yaml

      - name: Fetch stack cache
        if: startsWith(env.FAKE_URL, 'http') == false
        uses: actions/cache@v2
        with:
          path: ${{ env.STACK_ROOT }}
          key: stack-${{ runner.os }}-${{ hashFiles('stack.yaml.orig') }}

      - name: Archive cached stack
        if: env.DEBUG == 'true'
        run: |
          tar -H posix -I zstd \
              -cplf ${{ runner.temp }}/stack0.tzst -C ${{ env.STACK_ROOT }} .
          tar -H posix -I zstd \
              --exclude=.git --exclude=OcamlTools --exclude=doc \
              --exclude=hets-mmt-standalone.jar --exclude=Termination \
              -cplf ${{ runner.temp }}/hets0.tzst .

      # ~ 496 MiB, 20 s
      - name: Upload cached stack
        if: env.DEBUG == 'true'
        uses: actions/upload-artifact@v2
        with:
          name: stack0
          path: ${{ runner.temp }}/stack0.tzst
          retention-days: 1

      # ~ 9 MiB
      - name: Upload Hets source dir
        if: env.DEBUG == 'true'
        uses: actions/upload-artifact@v2
        with:
          name: hets0
          path: ${{ runner.temp }}/hets0.tzst
          retention-days: 1

      - name: Environment
        if: startsWith(env.FAKE_URL, 'http') == false
        run: |
          sudo cp -p ${{ env.STACK_ROOT }}/ksh93 /bin/ksh93
          ${{ env.GHAH }} -c showEnv
          stack --version
          stack exec -- ghc -V
          ls -al . ${{ runner.temp }}

      - name: Fake Build
        if: startsWith(env.FAKE_URL, 'http')
        run: |
          wget --progress=dot -O ${{ runner.temp }}/${{ env.HETS_ARC }} \
              ${{ env.FAKE_URL }}/hets-server.tzst

      - name: Build
        if: startsWith(env.FAKE_URL, 'http') == false
        run: |
          unset POSIXLY_CORRECT
          make restack
          make hets_server.bin || true
          ln -s hets_server.bin hets
          cp -pL /bin/ksh93 .
          tar -H posix -I zstd \
              --exclude=.git --exclude=OcamlTools --exclude=doc \
              --exclude=hets-mmt-standalone.jar --exclude=Termination \
              -cplf ${{ runner.temp }}/${{ env.HETS_ARC }} .
          # gives us a proper exit code, too.
          ./hets -V

      # 28s
      - name: Compress Binary
        continue-on-error: true
        #if: github.event_name == 'push'
        run: |
          xz -c -T0 --x86 --lzma2 hets_server.bin >hets-server.xz
          ls -l hets-server.xz

      # 14.1 MiB, 2s
      - name: Upload Binary
        continue-on-error: true
        #if: github.event_name == 'push'
        uses: actions/upload-artifact@v2
        with:
          name: hets server binary
          path: hets-server.xz
          retention-days: 90

      # ~ 125 MiB , 15s
      - name: Upload Hets build dir
        if: github.event_name == 'pull_request'
        uses: actions/upload-artifact@v2
        with:
          name: hets-server
          path: ${{ runner.temp }}/${{ env.HETS_ARC }}
          retention-days: 1

      - name: Archive post build stack
        if: env.DEBUG == 'true'
        run: |
          tar -H posix -I zstd -cplf ${{ runner.temp }}/stack1.tzst \
              -C ${{ env.STACK_ROOT }} .

      # ~ 496 MiB, 20 s
      - name: Upload post build stack
        if: env.DEBUG == 'true'
        uses: actions/upload-artifact@v2
        with:
          name: stack1
          path: ${{ runner.temp }}/stack1.tzst
          retention-days: 1


  job_2b:
    # Takes ~ 19 min | 45 s.
    name: Build Hets Desktop
    #if: github.event_name == 'pull_request'
    runs-on: ubuntu-20.04
    needs: job_1
    steps:
      # The desktop version needs additional GUI packages usually not installed.
      # ~ 27 s
      - name: Install packages
        if: startsWith(env.FAKE_URL, 'http') == false
        run: |
          echo 'man-db man-db/auto-update boolean false' | \
              sudo debconf-set-selections
          sudo rm -f /var/lib/man-db/auto-update
          sudo apt-get update
          sudo apt-get install ${{ env.MISSING_GUI_PKGS }}

      - name: Checkout
        if: startsWith(env.FAKE_URL, 'http') == false
        uses: actions/checkout@v2

      - name: Fetch stack cache
        if: startsWith(env.FAKE_URL, 'http') == false
        uses: actions/cache@v2
        with:
          path: ${{ env.STACK_ROOT }}
          key: stack-${{ runner.os }}-${{ hashFiles('stack.yaml') }}

      - name: Environment
        if: startsWith(env.FAKE_URL, 'http') == false
        run: |
          sudo cp -p ${{ env.STACK_ROOT }}/ksh93 /bin/ksh93
          ${{ env.GHAH }} -c showEnv
          stack --version
          stack exec -- ghc -V
          ls -al . ${{ runner.temp }}

      - name: Fake Build
        if: startsWith(env.FAKE_URL, 'http')
        run: |
          wget --progress=dot -O ${{ runner.temp }}/${{ env.HETS_ARC }} \
              ${{ env.FAKE_URL }}/hets-desktop.tzst

      # ~ 18 min
      - name: Build
        if: startsWith(env.FAKE_URL, 'http') == false
        run: |
          cp stack.yaml stack.yaml.orig
          unset POSIXLY_CORRECT
          make restack
          make hets.bin
          cp -pL /bin/ksh93 .
          tar -H posix -I zstd \
              --exclude=.git --exclude=OcamlTools --exclude=doc \
              --exclude=hets-mmt-standalone.jar --exclude=Termination \
              -cplf ${{ runner.temp }}/${{ env.HETS_ARC }} .
          # gives us a proper exit code, too.
          ./hets -V

      # 28..37s
      - name: Compress Binary
        continue-on-error: true
        #if: github.event_name == 'push'
        run: |
          xz -c -T0 --x86 --lzma2 hets.bin >hets.xz
          ls -l hets.xz

      # 14.1 MiB, 2..3s
      - name: Upload Binary
        continue-on-error: true
        #if: github.event_name == 'push'
        uses: actions/upload-artifact@v2
        with:
          name: hets desktop binary
          path: hets.xz
          retention-days: 90

      # ~ 17 s
      - name: Upload Hets build dir
        if: github.event_name == 'pull_request'
        uses: actions/upload-artifact@v2
        with:
          name: hets-desktop
          path: ${{ runner.temp }}/${{ env.HETS_ARC }}
          retention-days: 1


  ############################### TESTING ####################################
  # We prefer the server build because it is more or less a subset of the
  # desktop version. So if server binary works, desktop binary should work
  # as well. This also frees us from installing missing GUI deps.
  ############################################################################
  job_3a:
    # Takes about 12 min.
    name: Test components
    if: github.event_name == 'pull_request'
    runs-on: ubuntu-20.04
    needs: job_2a
    steps:
      # ~ 30 s
      - name: Install packages
        run: |
          # The less package repos, the less time it takes to update.
          sudo rm -f /etc/apt/sources.list.d/{ondrej-ubuntu-php,ubuntu-toolchain-r-ubuntu-test}-focal.list
          printf "deb ${HETS_PPA} `lsb_release -sc`  main\n" | \
              sudo tee /etc/apt/sources.list.d/hets.list
          sudo apt-key adv --keyserver keyserver.ubuntu.com \
              --recv-keys 3FF4B01F2A2314D8
          for F in /etc/apt/sources.list.d/*.list ; do
              printf "\n################## $F ##################\n"
              cat $F
          done
          sudo apt-get update
          echo 'man-db man-db/auto-update boolean false' | \
              sudo debconf-set-selections
          sudo rm -f /var/lib/man-db/auto-update
          sudo apt-get install spass darwin vampire eprover \
              texlive-latex-base texlive-fonts-recommended

      # Unfortunately utils/checkChangedSourceGit.sh uses 'git diff' - so need
      # to fetch the dropped .git/ bloat.
      - name: Checkout
        uses: actions/checkout@v2

      - name: Download Hets build dir
        uses: actions/download-artifact@v2
        with:
          name: hets-server
          path: ${{ runner.temp }}

      - name: Extract Hets
        run: |
          tar -H posix -I zstd -xf ${{ runner.temp }}/${{ env.HETS_ARC }}
          sudo cp -p ksh93 /bin/ksh93

      - name: Fetch stack cache
        uses: actions/cache@v2
        with:
          path: ${{ env.STACK_ROOT }}
          key: stack-${{ runner.os }}-${{ hashFiles('stack.yaml.orig') }}

      # Takes ~ 3s  -  not worth to optimze.
      - name: Checkout Hets-lib
        run: git clone --depth=1 ${{ env.HETS_LIB_REPO }} ${{ env.HETS_LIB }}

      - name: Environment
        run: |
          ${{ env.GHAH }} -c showEnv
          stack --version
          stack exec -- ghc -V
          ls -al . ./OWL2 ${{ runner.temp }}

      # ~ 10 min
      - name: Test
        run: |
          unset POSIXLY_CORRECT
          make restack
          FAIL_EARLY=0  make check

  job_3b:
    # Takes ~ 2 min.
    name: Test Hets-Lib
    if: github.event_name == 'pull_request'
    runs-on: ubuntu-20.04
    needs: job_2a
    steps:
      - name: Download Hets build dir
        uses: actions/download-artifact@v2
        with:
          name: hets-server
          path: ${{ runner.temp }}

      # stack is not needed
      - name: Extract Hets
        run: |
          tar -H posix -I zstd -xf ${{ runner.temp }}/${{ env.HETS_ARC }}
          sudo cp -p ksh93 /bin/ksh93

      # Just setting env vars is not sufficient. So install ;-). ~ 11 s
      - name: Install OWL tools
        run: |
          sed -i -e '/^STACK / s/^.*/STACK :=/' var.mk
          make install-owl-tools

      - name: Checkout Hets-lib
        run: git clone --depth=1 ${{ env.HETS_LIB_REPO }} ${{ env.HETS_LIB }}

      - name: Environment
        run: |
          ${{ env.GHAH }} -c showEnv
          ls -al . ${{ runner.temp }}

      - name: Test
        run: |
          HETS_OWL_TOOLS=${{ env.PREFIX }}/lib/hets/hets-owl-tools \
          ./test/hets-lib-check.sh all

  job_3c:
    # Takes ~ 14 min.
    name: Test PostgreSQL DB
    if: github.event_name == 'pull_request'
    runs-on: ubuntu-20.04
    needs: job_2a
    steps:
      - name: Download Hets build dir
        uses: actions/download-artifact@v2
        with:
          name: hets-server
          path: ${{ runner.temp }}

      # stack is not needed
      - name: Extract Hets
        run: |
          tar -H posix -I zstd -xf ${{ runner.temp }}/${{ env.HETS_ARC }}
          sudo cp -p ksh93 /bin/

      - name: Checkout Hets-lib
        run: git clone --depth=1 ${{ env.HETS_LIB_REPO }} ${{ env.HETS_LIB }}

      - name: Environment
        run: |
          ${{ env.GHAH }} -c showEnv
          ls -al . ${{ runner.temp }}

      - name: Test
        run: |
          sudo systemctl stop postgresql || true
          ln -s hets hets-server
          HETS_MAGIC=${{ github.workspace }}/magic/hets.magic \
          PATH=${{ github.workspace }}:${PATH} \
          ./test/hets-lib-database-check.sh -a 'PostgreSQL'

  job_3d:
    # Same as 3c but for SQlite
    # Takes ~ 5 min.
    name: Test SQLite DB
    if: github.event_name == 'pull_request'
    runs-on: ubuntu-20.04
    needs: job_2a
    steps:
      - name: Download Hets build dir
        uses: actions/download-artifact@v2
        with:
          name: hets-server
          path: ${{ runner.temp }}

      # stack is not needed
      - name: Extract Hets
        run: |
          tar -H posix -I zstd -xf ${{ runner.temp }}/${{ env.HETS_ARC }}
          sudo cp -p ksh93 /bin/

      - name: Checkout Hets-lib
        run: git clone --depth=1 ${{ env.HETS_LIB_REPO }} ${{ env.HETS_LIB }}

      - name: Environment
        run: |
          ${{ env.GHAH }} -c showEnv
          ls -al . ${{ runner.temp }}

      - name: Test
        run: |
          HETS_MAGIC=${{ github.workspace }}/magic/hets.magic \
          PATH=${{ github.workspace }}:${PATH} \
          ./test/hets-lib-database-check.sh -a 'SQLite'


  ################################ MISC ######################################
  # Other jobs, which need to be done and should re-use stuff from this wflow.
  ############################################################################

  job_4a:
    # Takes ~ 20 min | 18 s.
    name: Build docs
    runs-on: ubuntu-20.04
    needs: job_1
    steps:
      - name: Fake Build
        id: download
        if: startsWith(env.FAKE_URL, 'http')
        continue-on-error: true
        run: |
          wget --progress=dot -O ${{ runner.temp }}/docs.tgz \
              ${{ env.FAKE_URL }}/docs.tgz

      # ~ 45 s
      - name: Install packages
        if: startsWith(env.FAKE_URL, 'http') == false
          || steps.download.outcome == 'failure'
        run: |
          echo 'man-db man-db/auto-update boolean false' | \
              sudo debconf-set-selections
          sudo rm -f /var/lib/man-db/auto-update
          sudo apt-get update
          sudo apt-get install latexmk texlive-fonts-recommended \
              texlive-latex-extra

      - name: Checkout
        if: startsWith(env.FAKE_URL, 'http') == false
          || steps.download.outcome == 'failure'
        uses: actions/checkout@v2

      - name: Fetch stack cache
        if: startsWith(env.FAKE_URL, 'http') == false
          || steps.download.outcome == 'failure'
        uses: actions/cache@v2
        with:
          path: ${{ env.STACK_ROOT }}
          key: stack-${{ runner.os }}-${{ hashFiles('stack.yaml') }}

      - name: Environment
        run: |
          if [[ ! -e ${{ runner.temp }}/docs.tgz ]]; then
              sudo cp -p ${{ env.STACK_ROOT }}/ksh93 /bin/ksh93
              ${{ env.GHAH }} -c showEnv
              stack --version
              stack exec -- ghc -V
          fi
          ls -al . ${{ runner.temp }}

      - name: Build docs
        if: startsWith(env.FAKE_URL, 'http') == false
          || steps.download.outcome == 'failure'
        run: |
          unset POSIXLY_CORRECT
          make restack
          # export TMPDIR=/var/tmp	# if haddock fails with no space left
          make docs
          make doc && mv doc/UserGuide.pdf docs/
          rmdir docs || true
          if [[ -d docs ]]; then
              # Can't do it in 'Install packages': cache copy doesn't contain it
              npm install --only=production --no-optional \
                  marked@0.7.0 commander@6.2.1
              npm list
              utils/md2html.js -t 'Hets (The heterogeneous tool set)' \
                  -i README.md  -o docs/README.html
              [[ -s docs/README.html ]] || rm -f docs/README.html
              printf '%s %s %s/actions/runs/%s\n' \
                  ${{ github.ref_name }} ${{ github.event_name }} \
                  ${{ github.event.repository.html_url }} ${{ github.run_id }} \
                  >docs/event
          fi
          tar cplzf ${{ runner.temp }}/docs.tgz docs

      - name: Upload docs to artifacts
        if: startsWith(env.FAKE_URL, 'http')
          && steps.download.outcome == 'failure'
        continue-on-error: true
        uses: actions/upload-artifact@v2
        with:
          name: docs
          path: ${{ runner.temp }}/docs.tgz
          retention-days: 1

      - name: Upload docs to home
        if: startsWith(env.PUSH_URL, 'http')
        continue-on-error: true
        env:
          THEO_API: ${{ secrets.THEO_PUSH_API }}
        run: |
          curl -q --no-remote-time -F "job=${{ github.run_number }}.0" \
              -F 'button=1' -F "upfile=@${{ runner.temp }}/docs.tgz" \
              -F 'api=${{ env.THEO_API }}' \
              ${{ env.PUSH_URL }}