Add run-name for workflow_dispatch runs [ci] (#91873)

pull/85314/head^2
Marc Mueller 2023-04-23 01:15:09 +02:00 committed by GitHub
parent bba225abc5
commit 9ccc0059d2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -1,4 +1,5 @@
name: CI
run-name: "${{ github.event_name == 'workflow_dispatch' && format('CI: {0}', github.ref_name) || '' }}"
# yamllint disable-line rule:truthy
on: