5 Commits

Author	SHA1	Message	Date
Kristian Haugene	4c24d2e382	Stop builds triggering on commits to gh-pages branch	2019-10-13 18:33:55 +02:00
Kristian Haugene	e76a53adc8	Add name for CircleCI commits	2019-10-13 18:16:19 +02:00
Kristian Haugene	f0060d10dd	Forgot to do code checkout	2019-10-13 18:00:08 +02:00
Kristian Haugene	badbe96b1c	Adding CircleCI build for documentation	2019-10-13 17:58:49 +02:00
Kristian Haugene	90134c7bba	Using CircleCI to build arm images instead of Docker hub	2019-07-07 17:54:51 +02:00