ci: Update config

This commit is contained in:
Taiki Endo
2026-05-13 10:08:20 +09:00
parent 1ff76fb4eb
commit 71dd34f353

View File

@@ -47,11 +47,7 @@ jobs:
tidy: tidy:
uses: taiki-e/github-actions/.github/workflows/tidy.yml@931686d4e4cf88b13e790040727ccde2dba8ec62 # main uses: taiki-e/github-actions/.github/workflows/tidy.yml@931686d4e4cf88b13e790040727ccde2dba8ec62 # main
permissions: permissions:
contents: write # for creating branch for pr
pull-requests: write # unused (used in `codegen-automerge: true` case)
security-events: write # for github/codeql-action/* security-events: write # for github/codeql-action/*
secrets:
PR_TOKEN_APP_PRIVATE_KEY: ${{ secrets.PR_TOKEN_APP_PRIVATE_KEY }}
test: test:
strategy: strategy:
@@ -257,8 +253,7 @@ jobs:
- name: Install requirements (old debian) - name: Install requirements (old debian)
run: | run: |
# In Debian, the old repositories is removed from the main mirrors some time after EoL. # In Debian, the old repositories is removed from the main mirrors some time after EoL.
# shellcheck source=/dev/null codename=$(grep -E '^VERSION_CODENAME=' /etc/os-release | cut -d= -f2)
codename=$(. /etc/os-release; printf '%s\n' "${VERSION_CODENAME}")
sed -i /etc/apt/sources.list -e 's/deb.debian.org/archive.debian.org/g' \ sed -i /etc/apt/sources.list -e 's/deb.debian.org/archive.debian.org/g' \
-e 's|security.debian.org|archive.debian.org/|g' \ -e 's|security.debian.org|archive.debian.org/|g' \
-e "/${codename}-updates/d" -e "/${codename}-updates/d"