chore: depot runners (#22256)

This commit is contained in:
Michael Geers 2025-07-08 17:28:53 +02:00 • committed by GitHub
parent 72b64d038d
commit 20c56dd9ff
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
10 changed files with 41 additions and 24 deletions

View file

@ -7,7 +7,7 @@ on:
jobs:
check-label-and-create-issue:
runs-on: ubuntu-latest
runs-on: depot-ubuntu-24.04-arm
if: github.event.pull_request.merged == true
steps:
- name: Check for 'needs documentation' label