tweak conditional

This commit is contained in:
Edoardo Aprà 2021-01-29 14:56:02 -08:00 committed by GitHub
parent 6242833e14
commit 31d8758ecc
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -13,7 +13,7 @@ jobs:
build_archs:
if: |
github.event_name == 'schedule' ||
(!contains(github.event.head_commit.message, 'ci skip') && contains(github.event.head_commit.message, 'do_extra_archs'))
(!contains(github.event.head_commit.message, 'ci skip') && (contains(github.event.head_commit.message, 'do_extra_archs')||github.event_name == 'workflow_dispatch'))
runs-on: ubuntu-18.04
strategy:
matrix: