diff --git a/.github/workflows/comment_pr.yml b/.github/workflows/comment_pr.yml deleted file mode 100644 index 4f6f5381003..00000000000 --- a/.github/workflows/comment_pr.yml +++ /dev/null @@ -1,26 +0,0 @@ -name: Comment on PR - -on: [push] - workflow_dispatch: - # Inputs the workflow accepts. - inputs: - name: - # Friendly description to be shown in the UI instead of 'name' - description: 'Person to greet' - # Default value if no value is explicitly provided - default: 'World' - # Input has to be provided for the workflow to run - required: true - -# A workflow run is made up of one or more jobs that can run sequentially or in parallel -jobs: - # This workflow contains a single job called "greet" - greet: - # The type of runner that the job will run on - runs-on: ubuntu-latest - - # Steps represent a sequence of tasks that will be executed as part of the job - steps: - # Runs a single command using the runners shell - - name: Send greeting - run: echo "Hello ${{ github.event.inputs.name }}"