message: Remove unused linux-based Windows CI environment
diff: @@ -10,16 +10,6 @@ matrix:
  packages:
  - tree
  - #- env: RIPES_PLATFORM='windows'
  - # os: linux
  - # dist: trusty
  - # sudo: required
  - # language: c++
  - # addons:
  - # apt:
  - # packages:
  - # - tree
  -
  - os: windows
  language: cpp
  env:
  