diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml new file mode 100644 index 0000000..ffa7ba6 --- /dev/null +++ b/.github/workflows/lint.yml @@ -0,0 +1,22 @@ +name: Empirical Implementation of JDD + +on: + pull_request: + types: + - opened + +jobs: + lint: + permissions: + pull-requests: write + runs-on: ubuntu-latest + + steps: + - uses: peter-evans/create-or-update-comment@v4 + with: + issue-number: ${{ github.event.pull_request.number }} + body: | + ![Imgur](https://i.imgur.com/ESow3BL.png) + + LGTM + reactions: hooray diff --git a/.github/workflows/notlint.yml b/.github/workflows/notlint.yml deleted file mode 100644 index faa3343..0000000 --- a/.github/workflows/notlint.yml +++ /dev/null @@ -1,19 +0,0 @@ -name: Not Lint - -on: - pull_request: - types: - - opened - -jobs: - lint: - runs-on: ubuntu-latest - - steps: - - uses: wow-actions/auto-comment@v1 - with: - GITHUB_TOKEN: ${{ github.token }} - pullRequestOpened: | - ![Imgur](https://i.imgur.com/ESow3BL.png) - - LGTM