correct github.event usage

This commit is contained in:
Sigbjørn Skjæret 2024-05-04 23:35:32 +02:00 committed by GitHub
parent 5e8ca26f8b
commit c3d9d7040a
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -53,20 +53,20 @@ jobs:
pr_comment_enabled: "true"
if: |
github.event.inputs.gpu-series == 'Standard_NC4as_T4_v3'
inputs.gpu-series == 'Standard_NC4as_T4_v3'
|| (
github.event.schedule
github.event_name == 'schedule'
&& github.repository_owner == 'ggerganov'
)
|| github.event.pull_request
|| github.event_name == 'pull_request'
|| github.head_ref == 'master'
|| (
github.event.push
&& github.event.push.ref == 'refs/heads/master'
github.event_name == 'push'
&& github.event.ref == 'refs/heads/master'
&& github.repository_owner == 'ggerganov'
)
|| (
!github.event.push
github.event_name != 'push'
&& github.ref_name == 'master'
)
steps: