Commit graph

9 commits

Author SHA1 Message Date
Michael Geers
c9834f786c
Revert "chore: depot > gh action runners; AWS outage" (#24605) 2025-10-21 07:10:53 +00:00
Michael Geers
575880bc0f
chore: depot > gh action runners; AWS outage (#24598) 2025-10-20 15:54:11 +00:00
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