TO-DROP: hard-code a VM name to delete

This is only necessary because workflow_dispatch triggers are ignored
in branches unless the workflow definition file exists also on the
default branch. Inconvenient. But easy to work around.

Signed-off-by: Johannes Schindelin <[email protected]>

Author: dscho

.github/workflows/delete-self-hosted-runner.yml

@@ -2,15 +2,10 @@ name: delete azure-self-hosted-runner
 run-name: Delete ${{ inputs.runner_name }}
 
 on:
-  workflow_dispatch:
-    inputs:
-      runner_name:
-        type: string
-        required: true
-        description: The name of the runner that needs to be deleted
+  push:
 
 env:
-  ACTIONS_RUNNER_NAME: ${{ github.event.inputs.runner_name }}
+  ACTIONS_RUNNER_NAME: actions-runner-20230110151847075327913
 
 # The following secrets are required for this workflow to run:
 # AZURE_CREDENTIALS - Credentials for the Azure CLI. It's recommended to set up a resource