Commit 74f3a77
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: a798621
Pull Request resolved: #305181 parent 33e54fa commit 74f3a77
1 file changed
+0
-208
lines changedThis file was deleted.
0 commit comments