rename workflow to distinguish on pull-request and on push workflow
name: reviewdog on Push
on: [push]
jobs:
- reviewdog:
- name: reviewdog
+ reviewdog-on-push:
+ name: reviewdog-on-push
runs-on: ubuntu-latest
steps:
- name: Dump GitHub Context
