message: circleci: add missing python alias
diff: @@ -14,6 +14,11 @@ jobs:
  - checkout
  # - python/load-cache
  - run: sudo apt install -y build-essential cython libantlr4-runtime-dev antlr4 cmake python3-pip
  + - run:
  + command: |
  + echo alias pip=pip3 >> "$BASH_ENV"
  + echo alias python=python3 >> "$BASH_ENV"
  +
  - run: pip install jupyter
  - py/install-gcov
  - py/install-setup-py
  