Pekka Enberg d872237ca8 Merge 'workflows: Add GITHUB_TOKEN to all Nyrkiö steps' from Henrik Ingo ...

Previously we didn't use GITHUB_TOKEN for anything. But now that PR
meta-data must be fetched with a extra GitHub API call, then PRs at
least will always nedd GITHUB_TOKEN.

Closes #3918

2025-11-10 09:03:38 +02:00

..

data

Revert removed file

2025-10-08 15:55:36 +09:00

shared/install_sqlite

overwrite sqlite3 in install_sqlite

2025-06-17 19:26:44 +02:00

workflows

Merge 'workflows: Add GITHUB_TOKEN to all Nyrkiö steps' from Henrik Ingo

2025-11-10 09:03:38 +02:00

labeler.yml

small fixes

2025-07-29 14:42:09 +04:00