Skip to content

Commit

Permalink
[rfc] Delete devtools_check_repro workflow
Browse files Browse the repository at this point in the history 
With GitHub issue templates this workflow is not truly necessary and
can deny other workflows from running due to a limited amount of CI
workers in the pool.

I propose deleting this workflow and relying on issue templates instead.

ghstack-source-id: a798621f3625fa8fffaade5a987e4024553aefa0
Pull Request resolved: #30518
  • Loading branch information
@poteto
poteto committed Jul 30, 2024
1 parent 33e54fa commit 927ba57
Showing 1 changed file with 0 additions and 208 deletions.
208 changes: 0 additions & 208 deletions .github/workflows/devtools_check_repro.yml
View file

This file was deleted.

0 comments on commit 927ba57

Please sign in to comment.