16 commits

Author	SHA1	Message	Date
Alessandro Pezzè	2839595044	refactor: differentiate workflow from job name	2020-05-01 13:30:00 +02:00
Alessandro Pezzè	4b2e0d8b90	feat: run the updater only on master	2020-04-30 23:57:28 +02:00
Alessandro Pezzè	af88ee02aa	play: decrease Docker version	2020-04-25 00:16:35 +02:00
Alessandro Pezzè	03a32c6678	play: ask CircleCI to use newer version of Docker	2020-04-24 23:57:03 +02:00
Alessandro Pezzè	55ee13be54	feat: run the updater on CircleCI	2020-04-24 22:49:53 +02:00
Alessandro Pezzè	6cebda5382	play: format	2020-04-24 21:33:05 +02:00
Alessandro Pezzè	d04da768f2	play: format	2020-04-24 21:31:39 +02:00
Alessandro Pezzè	5185694341	play: split circle test phase	2020-04-24 21:27:18 +02:00
Alessandro Pezzè	cf3802cc7f	play: add -x flag	2020-04-23 21:59:36 +02:00
Alessandro Pezzè	0951d79dc7	play: open PR towards api-data	2020-04-23 21:48:55 +02:00
Alessandro Pezzè	96478a2fcd	fix: add indentation	2020-04-23 13:21:18 +02:00
Alessandro Pezzè	09ff84c1b1	play: test machine user	2020-04-23 13:13:43 +02:00
Paul Hallett	d5d55dad7f	Autoformat entire project, tidy up makefile	2020-02-24 13:18:14 +13:00
Charles Marttinen	ec6ff6ee86	fix: Update CircleCI config to use Python3.7	2018-10-20 11:35:11 -04:00
Tim Malone	db8fdcfd60	chore - add missing lint step in CircleCI 2.0 config	2018-09-10 09:41:51 +10:00
Mark Tse	cbfd195e8b	chore - migrate to CircleCI 2.0; resolves #359.	2018-09-10 09:41:51 +10:00