diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 882e9824be9516b8f7ad3a2b67a96ae27ef0121e..e1eb7d5b2a5bb266ebe2d4d1fcf7798d0c04b9a0 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