Port to new CI (closes #16) Closes #16 See merge request !40
00:20:27
Feb 21, 2018
00:20:20
00:21:03
00:23:41
00:00:26