0
Fork 0
mirror of https://github.com/logto-io/logto.git synced 2025-03-10 22:22:45 -05:00

ci: use large runner for regular releases

This commit is contained in:
Gao Sun 2023-03-15 22:13:50 +08:00
parent 11292d4347
commit 8f8c5d4233
No known key found for this signature in database
GPG key ID: 13EBE123E4773688

View file

@ -24,7 +24,8 @@ concurrency:
jobs:
dockerize-core:
environment: ${{ startsWith(github.ref, 'refs/tags/') && 'release' || '' }}
runs-on: ubuntu-latest
# Use normal machine for OSS release since we'll build on Depot
runs-on: ${{ startsWith(github.ref, 'refs/tags/') && 'ubuntu-latest' || 'ubuntu-latest-4-cores' }}
permissions:
contents: read
id-token: write
@ -94,7 +95,8 @@ jobs:
labels: ${{ steps.meta.outputs.labels }}
dockerize-cloud:
runs-on: ubuntu-latest
# Use normal machine for OSS release since we'll build on Depot
runs-on: ${{ startsWith(github.ref, 'refs/tags/') && 'ubuntu-latest' || 'ubuntu-latest-4-cores' }}
steps:
- uses: actions/checkout@v3