diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index b77e683..d37cd04 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -19,7 +19,7 @@ jobs: # (2) If the pull request exists, update it. # (3) If the pull request is merged, create a new git tag. if: ${{ github.event.workflow_run.conclusion == 'success' }} - runs-on: ubuntu-latest + runs-on: ubuntu-slim timeout-minutes: 5 permissions: contents: read