Merge pull request #207 from python-discord/kill-github-filter-worker #181
github-merge-queue[bot]main.yaml
on: push
lint
/
Lint code
15s
build-deploy
/
Deploy Workers
24s