diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 6782fef..843ce4e 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -6,9 +6,15 @@ on: pull_request: branches: [main] +concurrency: + group: ${{ github.workflow }}-${{ github.ref }} + # A running main run finishes; on PRs a new push cancels the superseded run. + cancel-in-progress: ${{ github.ref != 'refs/heads/main' }} + jobs: check: runs-on: ubuntu-latest + timeout-minutes: 10 steps: - uses: actions/checkout@v4 diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index a84e91f..491609b 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -10,6 +10,7 @@ permissions: {} jobs: publish: runs-on: ubuntu-latest + timeout-minutes: 10 permissions: contents: read id-token: write