Inspections

Use GitHub CI in favor of Travis (#214)

master . ba36e6...bf864e . push triggered

  Data is cleaned up.
4s
created
Enable GitHub CI

master . #214 . pull request triggered

  Data is cleaned up.
6s
created
Enable GitHub CI

master . #214 . pull request triggered

  Data is cleaned up.
8s
created
Enable GitHub CI

master . #214 . pull request triggered

  Data is cleaned up.
8s
created
Enable GitHub CI

master . #214 . pull request triggered

  Data is cleaned up.
5s
created
Enable GitHub CI

master . #214 . pull request triggered

  Data is cleaned up.
3s
created
Enable GitHub CI

master . #214 . pull request triggered

  Data is cleaned up.
7s
created
Enable GitHub CI

master . #214 . pull request triggered

  Data is cleaned up.
3s
created
Enable GitHub CI

master . #214 . pull request triggered

  Data is cleaned up.
9s
created
Enable GitHub CI

master . #214 . pull request triggered

  Data is cleaned up.
4s
created
Enable GitHub CI

master . #214 . pull request triggered

  Data is cleaned up.
2s
created
Enable GitHub CI

master . #214 . pull request triggered

  Data is cleaned up.
6s
created
Enable GitHub CI

master . #214 . pull request triggered

  Data is cleaned up.
13s
created
Enable GitHub CI

master . #214 . pull request triggered

  Data is cleaned up.
6s
created
Enable GitHub CI

master . #214 . pull request triggered

  Data is cleaned up.
2s
created
Enable GitHub CI

master . #214 . pull request triggered

  Data is cleaned up.
5s
created
Enable GitHub CI

master . #214 . pull request triggered

  Data is cleaned up.
3s
created
Enable GitHub CI

master . #214 . pull request triggered

  Data is cleaned up.
5s
created
Enable GitHub CI

master . #214 . pull request triggered

  Data is cleaned up.
3s
created
Fix #206 -- Overwrite variations by defaults

master . #213 . pull request triggered

  Data is cleaned up.
3s
created