Michael Geers
|
d78ccba845
|
chore: GitHub actions security (#23951)
|
2025-10-01 12:17:44 +02:00 |
|
dependabot[bot]
|
60617a7d55
|
Bump actions/github-script from 7 to 8 (#23997)
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
|
2025-10-01 10:20:03 +02:00 |
|
Michael Geers
|
4626972952
|
Potential fix for code scanning alert no. 21: Workflow does not contain permissions (#23796)
Co-authored-by: Copilot Autofix powered by AI <62310815+github-advanced-security[bot]@users.noreply.github.com>
|
2025-09-23 17:34:34 +00:00 |
|
Michael Geers
|
20c56dd9ff
|
chore: depot runners (#22256)
|
2025-07-08 17:28:53 +02:00 |
|
Michael Geers
|
48d6e0779a
|
chore: create doc issue on pr merge
|
2024-04-05 20:02:49 +02:00 |
|
Michael Geers
|
b0ca84dbc9
|
chore: Auto-create docs issue for PR
|
2024-04-03 00:06:46 +02:00 |
|
Michael Geers
|
392c7c121e
|
Auto-create docs issue for PR
|
2024-04-02 23:59:14 +02:00 |
|