5 commits

Author	SHA1	Message	Date
Maj Soklič	5974982d9c	[GITHUB] Update Actions for Node.js 16 deprecation preparation (#5819) ... GitHub started to show deprecation warnings for all Node.js 16 based Actions: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/ In order to resolve this: - build.yml: Update cache to v4 - labeler.yml: - Remove the now optional 'repo-token' argument - Add 'sync-labels' to remove non-actual labels on PR updates - stale.yml: Remove useless issue permission since we don't have issues enabled	2024-02-10 02:50:59 +03:00
Adam Stachowicz	f0faa45159	[GITHUB] stale.yml: Update to v9 (#6325) ... Release notes: https://github.com/actions/stale/releases	2024-02-09 22:50:40 +03:00
George Bișoc	d8bfe2a261	[GITHUB] Draft PRs should be exempt from closure by the stale PR bot	2023-06-09 11:43:04 +02:00
Mark Jansen	b60408c9f1	[CI] Increase operations-per-run for the stale script	2022-06-04 20:35:01 +02:00
Mark Jansen	96eacfc352	[GITHUB] Add workflow to close stale PR's	2022-05-29 20:10:31 +02:00