mirrors/element-web
1
0
Fork 0
mirror of https://github.com/element-hq/element-web synced 2024-10-22 18:55:47 +03:00
Code Issues Projects Releases Packages Wiki Activity

Merge pull request #28057 from element-hq/dbkr/disable-pending-prs

Browse source 
Disable pending reviews jobs for now
This commit is contained in:
David Baker 2024-09-17 10:31:37 +00:00 committed by GitHub
commit 11be4ab422
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
.github/workflows/pending-reviews.yaml vendored
View file

@ -1,8 +1,10 @@
name: Pending reviews automation
on:
# The bot exceeded its API rate limit. Disabling for now (adding workflow dispatch so the workflow file stays valid & we can test to see if it starts working again)
workflow_dispatch: {}
# We run it on a schedule instead of on pull_request_* events to not create confusing messaging in the PR
schedule:
- cron: "*/10 * * * *"
#schedule:
# - cron: "*/10 * * * *"
concurrency: ${{ github.workflow }}
jobs:
bot: