8 Commits

Author	SHA1	Message	Date
Rodrigo Q. Saramago	f2de085dfe	Minor fix	2022-09-12 16:55:23 +02:00
Rodrigo Q. Saramago	c8fb2022e1	Set default CI working directory	2022-09-12 16:45:43 +02:00
Rodrigo Q. Saramago	3b16174190	Replace /root/project by /project	2022-09-12 14:53:15 +02:00
Kamil Śliwak	c64fb7a258	docker_upgrade.sh: Workaround for git refusing to work with a repo in attached volume	2022-05-10 18:24:21 +02:00
Kamil Śliwak	7ccdbd5b08	Use consistent syntax for Bash function declarations	2021-11-08 16:34:07 +01:00
Alexander Arlt	81b769b844	[ci] docker_upgrade.sh: use of environment files.	2020-11-26 18:28:17 -05:00
Alexander Arlt	f7e180fb8f	Push images to docker hub.	2020-07-16 14:14:51 +02:00
Alexander Arlt	aed424f23e	Initial docker image creation workflows.	2020-07-14 19:00:48 -05:00