don't run auto merge bot on stagnant bot prs

This commit is contained in:
Alita Moore 2021-09-19 02:39:15 -05:00 committed by GitHub
parent 60c9fbce54
commit d9b89aada8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -18,6 +18,7 @@ jobs:
with:
node-version: '14'
- name: auto-merge-bot
if: ${{!contains( toJson(github), '1272989785' )}}
uses: ethereum/EIP-Bot@b6cf981087e888b5d7fbd4726458c453f8491532 # master
id: auto-merge-bot
with: