Waldir Leoncio 205d298a6e Opening CI for all branches ... Particularly useful for temporary branches like this one, that should be squashed and merged once CI is fixed.		2021-10-11 13:27:29 +02:00
..
workflows	Opening CI for all branches	2021-10-11 13:27:29 +02:00