diff --git a/.gitea/workflows/check.yml b/.gitea/workflows/check.yml index a55bc55..81b7e10 100644 --- a/.gitea/workflows/check.yml +++ b/.gitea/workflows/check.yml @@ -1,9 +1,17 @@ name: check on: [push] +# A new push to a branch cancels that branch's older run, queued or running; +# runs on other branches, `next` and `main` among them, are left alone. +concurrency: + group: ${{ github.workflow }}-${{ github.ref }} + cancel-in-progress: true jobs: check: runs-on: ubuntu-latest steps: # actions/checkout v4.2.2, 2026-02-28 - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 + # script/cibuild needs no token, so none is left in .git/config. + with: + persist-credentials: false - run: script/cibuild diff --git a/TODO.md b/TODO.md index 49e335e..5ad70cb 100644 --- a/TODO.md +++ b/TODO.md @@ -19,6 +19,8 @@ trial run of the finished image: https://git.eeqj.de/sneak/dnswatcher/issues/149 # Completed Steps +- 2026-10-02: a push to a branch cancels that branch's older CI run, and the + checkout leaves no token in `.git/config` (closes #216). - 2026-10-02: the resolver tries root servers, and every other server list it walks, in a random order each time, not always from the top (closes #138). - 2026-10-02: a name listed more than once in `DNSWATCHER_TARGETS`, in any