There will be a small downtime on Friday 16.04 between 15:00 and 18:00 (Gitlab upgrade).

If necessary contact me at mateusz.gniewkowski@pwr.edu.pl

Merge branch 'develop' into 'master'

Develop

See merge request !6
2 jobs for master in 3 minutes and 16 seconds (queued for 1 second)
latest
Status Job ID Name Coverage
  Check Style
passed #2690
google_checks

00:00:26

 
  Build
passed #2691
build_image

00:02:49