github.event name

From wikieduonline
Revision as of 10:31, 24 October 2024 by Welcome (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

github.event_name


  - name: Set PR tag
             if: ${{ github.event_name == '[[pull_request]]' }}
             run: echo "TAG=pull-request-${{ github.event.number }}" >> $GITHUB_ENV


if: failure() && github.event_name != 'pull_request'

Related

See also

Advertising: