12 Commits

Author	SHA1	Message	Date
Ivan Dyachkov	e1944739e9	ci: restrict token permissions and pin deps	2024-01-11 11:34:44 +01:00
Ivan Dyachkov	0c91bec98d	chore: merge 'upstream/release-53'	2023-11-08 09:24:38 +01:00
Ivan Dyachkov	4495054714	ci: optimize runners usage ... - always use github runners for lightweight jobs - prefer self-hosted runners in private forks - prefer self-hosted runners for workflows with large matrix	2023-11-02 16:13:31 +01:00
Ivan Dyachkov	fd15939ae8	chore(ci): limit token scope in workflows	2023-10-12 08:41:50 +02:00
Ivan Dyachkov	9a881290b9	ci: use ephemeral self hosted runners	2023-10-05 13:33:51 +02:00
Ivan Dyachkov	7ef2c317e0	ci: use ubuntu22.04 everywhere	2023-03-15 14:27:12 +01:00
Ivan Dyachkov	9065cb7429	ci: do not run scheduled workflows in forks	2023-02-27 23:16:30 +01:00
Traphalet	f920ff341b	ci(actions): update git actions to latest versions	2022-10-28 15:53:26 +03:00
Zaiming (Stone) Shi	8f5f58500c	chore(stale_bot): exempt 'Enhancement' label	2022-02-01 16:55:11 +01:00
Thales Macedo Garitezi	f947bf6f98	ci(stale): increase number of operations per run ... Since we currently have lots of issues, this may help with reaching the 2nd page of issues.	2022-01-03 13:25:10 -03:00
Thales Macedo Garitezi	1454374b25	ci(stale): avoid spending operations on pull requests ... We are interested in using stale actions only for issues, and currently there's no clear/clean way of making it not enumerate pull requests. As a workaround, we attempt to minimize the number of operations spent on pull requests by making it run only on pull requests which have an inexistent tag, thus skipping all PRs.	2022-01-03 13:11:33 -03:00
Thales Macedo Garitezi	39999fb467	ci: enable stale GH action in place of stalebot ... Since stalebot appears to have been unreliable recently (https://github.com/probot/stale/issues/349), we can try to use GH Actions to manage the stale issues.	2021-12-31 15:14:44 -03:00