Commit f4dc791
committed
[rfc] Delete devtools_check_repro workflow
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: 58461ab
Pull Request resolved: #305181 parent 87b1a94 commit f4dc791
1 file changed
+0
-208
lines changedThis file was deleted.
0 commit comments