File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -110,6 +110,7 @@ jobs:
110110 echo "EOF" >> "$GITHUB_OUTPUT"
111111
112112 check_missing :
113+ if : contains(github.event.pull_request.labels.*.name, 'bot:deploy')
113114 needs : check_EESSI_version_changed_files
114115 strategy :
115116 fail-fast : false
@@ -230,7 +231,15 @@ jobs:
230231 cvmfs_repositories : software.eessi.io
231232
232233 - name : Check for missing installlations
233- if : contains(needs.check_EESSI_version_changed_files.outputs.EESSI_VERSIONS, matrix.EESSI_VERSION)
234+ if : >
235+ (
236+ contains(github.event.pull_request.labels.*.name, 'bot:deploy')
237+ || contains(github.event.pull_request.labels.*.name, 'force-ci-checks')
238+ )
239+ && contains(
240+ needs.check_EESSI_version_changed_files.outputs.EESSI_VERSIONS,
241+ matrix.EESSI_VERSION
242+ )
234243 run : |
235244 export EESSI_SOFTWARE_SUBDIR_OVERRIDE=${{matrix.EESSI_SOFTWARE_SUBDIR_OVERRIDE}}
236245 source /cvmfs/software.eessi.io/versions/${{matrix.EESSI_VERSION}}/init/bash
You can’t perform that action at this time.
0 commit comments