message: CI: Build examples.
diff: @@ -25,6 +25,14 @@ build:
  paths:
  - _build
  +examples:
  + stage: check
  + image: registry.gitlab.gruntech.org/mefyl/elle/trusty-ci
  + script:
  + - cd "$BUILD_DIR" && python3 drake -j $NPROC //examples
  + dependencies:
  + - build
  +
  check:
  stage: check
  image: registry.gitlab.gruntech.org/mefyl/elle/trusty-ci
  