5 Commits

Author	SHA1	Message	Date
Carlo Sala	ec0003f2fa	ci: update to `checkout@v3` to avoid warnings	2023-01-13 12:40:47 +01:00
Alex	065f5ffc5a	ci: harden permissions for GitHub Workflows (#11174) ... * build: harden main.yml permissions Signed-off-by: Alex <aleksandrosansan@gmail.com> * build: harden project.yml permissions Signed-off-by: Alex <aleksandrosansan@gmail.com> * Update project.yml The permissions are not necessary, because a separate token is used `GITHUB_TOKEN: ${{ secrets.PROJECT_TOKEN }}`	2022-10-07 14:39:00 +02:00
Marc Cornellà	ebfd7cb219	ci: cancel current runs on new trigger	2022-02-21 19:27:21 +01:00
Marc Cornellà	63345c4e5d	ci: disable GitHub Actions on forks	2022-01-03 13:10:53 +01:00
Marc Cornellà	df56d1ee1f	Rename GitHub Action to CI	2020-02-04 13:02:20 +01:00