message: Explicitly install flex and bison in CI
diff: @@ -132,7 +132,7 @@ jobs:
  run: |
  set -x
  source ./.github/settings.sh
  - sudo apt -qq -y install clang-10
  + sudo apt -qq -y install clang-10 flex bison
  ./.github/bin/set-compiler.sh 9
  ./.github/bin/install-bazel.sh
  ./.github/bin/install-python.sh
  