Closed rkuester closed 2 days ago
There are a few CI cleanups coming on this branch ahead of enabling CI testing of compression. These cleanups are on a separate branch in order to make review and merging a little more parallel.
I tried to delete a CI job in this PR, but the deleted job tried to run and failed. Does some version other than the .github/workflows
directory in the commit which triggers CI govern the CI run?
I tried to delete a CI job in this PR, but the deleted job tried to run and failed. Does some version other than the
.github/workflows
directory in the commit which triggers CI govern the CI run?
Yes, it appears GitHub runs the workflows in the commit into which the PR will be merged. Therefore the job and its script cannot be removed at the same time. Fixed by 55135d1.
Remove the redundant CI job bazel_tests_tflite_tools. It is a subset of the CI job bazel_tests.
BUG=see description