diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 882e9824be..e1eb7d5b2a 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -1,4 +1,5 @@ name: ci +run-name: ${{ inputs.commit }} on: workflow_dispatch: # Allows launching a CI run on an arbitrary commit