message: circleci: update-alternatives fix missing priority
diff: @@ -16,8 +16,8 @@ jobs:
  - run: sudo apt install -y build-essential libantlr4-runtime-dev antlr4 cmake python3-pip
  - run:
  command: |
  - sudo update-alternatives --install /usr/bin/python python /usr/bin/python3;
  - sudo update-alternatives --install /usr/bin/pip pip /usr/bin/pip3;
  + sudo update-alternatives --install /usr/bin/python python /usr/bin/python3 10;
  + sudo update-alternatives --install /usr/bin/pip pip /usr/bin/pip3 10;
  - run:
  command: |
  