Commit 28c26394 authored Aug 11, 2020 by Andreas Klöckner

Merge branch 'gitlab-ci-allow-k40-failure' into 'master'

Allow failure of K40 job during outage

See merge request inducer/boxtree!97