3 Commits

Author	SHA1	Message	Date
Federico Grandi	1308272399	ci: update workflows	2022-06-26 19:24:39 +00:00
Federico Grandi	110b7e289f	ci(gh-actions): limit ci actions to master branch ... This causes issues when a release is published, because the build scripts create a new branch because of the new tag that gets automatically pushed by GitHub	2020-11-11 18:59:15 +01:00
Federico Grandi	bd911ffe7e	ci: add label-sync	2020-10-19 09:47:38 +02:00