Discard existing Bazel cache for Github build
Discard existing Bazel cache for Github build

There seems to be a Bazel issue which can be resolved by expunging the
cache: bazelbuild/bazel#9213

p4lang/PI,p4lang/PI,p4lang/PI,p4lang/PI