message: Use Ninja as default building tool.
  It is typically better than make distributing the
  work and the output is focusing on only outputting
  information relevant for the developers' attention.
diff: @@ -38,7 +38,7 @@ jobs:
  sudo apt install -y \
  g++-9 \
  default-jre \
  - cmake \
  + cmake ninja-build \
  build-essential \
  google-perftools \
  libgoogle-perftools-dev \
  @@ -67,7 +67,8 @@ jobs:
  echo 'CXX=g++-9' >> $GITHUB_ENV
  echo 'PATH=/usr/lib/ccache:'"$PATH" >> $GITHUB_ENV
  echo 'PREFIX=${GITHUB_WORKSPACE}/install' >> $GITHUB_ENV
  - echo "ADDITIONAL_CMAKE_OPTIONS='-DPython3_ROOT_DIR=${pythonLocation} -DCMAKE_RULE_MESSAGES=off -DMY_CXX_WARNING_FLAGS="-W -Wall -Wextra -Wno-unused-parameter -Wno-unused-variable -Werror -UNDEBUG"'" >> $GITHUB_ENV
  + echo "ADDITIONAL_CMAKE_OPTIONS='-DPython3_ROOT_DIR=${pythonLocation} -DMY_CXX_WARNING_FLAGS="-W -Wall -Wextra -Wno-unused-parameter -Wno-unused-variable -Werror -UNDEBUG"'" >> $GITHUB_ENV
  + echo "CMAKE_GENERATOR=Ninja" >> $GITHUB_ENV
  - name: Show shell configuration
  run: |
  