4 Commits

Author	SHA1	Message	Date
dependabot[bot]	aedd13fd9c	ci(deps): bump actions/checkout from 3 to 4 (#544) ... Bumps [actions/checkout](https://github.com/actions/checkout) from 3 to 4. - [Release notes](https://github.com/actions/checkout/releases) - [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md) - [Commits](https://github.com/actions/checkout/compare/v3...v4) --- updated-dependencies: - dependency-name: actions/checkout dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>	2023-09-11 15:56:41 +02:00
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