 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 |
|