Tobias Brunner
60f4c86780
github: Remove commit ID from cache keys
...
This reduces the cache storage for active branches and since caches for
different branches are separate and we abort previous builds of the same
branch, this is not necessary to ensure caches can successfully be stored.
2026-04-17 15:18:11 +02:00
Tobias Brunner
521c6e05c5
github: Update actions so they don't use deprecated Node.js 20
2026-04-07 18:57:40 +02:00
Tobias Brunner
b36da850b5
github: Only run CI for latest commit in a branch, cancel old runs
2025-08-22 12:21:50 +02:00
Tobias Brunner
9eb5fcd6b6
github: Make sure at least one run with the same content is not skipped
2025-07-07 11:55:01 +02:00
Tobias Brunner
9d1f325a77
github: Update GitHub-provided actions for Node.js update
2024-02-29 09:06:59 +01:00
Tobias Brunner
44378d2521
github: CodeQL currently doesn't support ccache
...
Just disable it but keep everything in place for now.
2022-12-06 09:41:42 +01:00
Tobias Brunner
0d3fcd100d
github: Add CodeQL workflow
2022-12-05 16:49:07 +01:00
Tobias Brunner