ci: Move linting to build jet (#9188)

Co-authored-by: Peer Richelsen <peeroke@gmail.com>
pull/9137/head
Joe Au-Yeung 2023-05-30 04:43:32 +09:00 committed by GitHub
parent 21cb2e5609
commit 9f881e9911
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -3,7 +3,7 @@ on:
workflow_call:
jobs:
lint:
runs-on: ubuntu-latest
runs-on: buildjet-4vcpu-ubuntu-2204
steps:
- uses: actions/checkout@v3