4 Commits

Author	SHA1	Message	Date
Rui Lopes	518b7fc148	make sure curl fails on errors	2021-04-26 06:47:12 +01:00
Rui Lopes	696ed313dc	make sure the script fails when there is an error in the pipeline	2021-04-26 06:06:44 +01:00
Rui Lopes	1c9ca495c8	upgrade to ubuntu 20.04	2021-02-28 12:40:59 +00:00
Rui Lopes	abe5834991	provision and use a apt (aka debian) repository	2020-05-09 13:30:11 +01:00