Skip to content

Commit 89c5835

Browse files
committed
ci: one-shot refresh integrity after Quick trigger
1 parent a41b327 commit 89c5835

1 file changed

Lines changed: 39 additions & 0 deletions

File tree

Lines changed: 39 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,39 @@
1+
name: One-shot refresh release integrity
2+
3+
on:
4+
push:
5+
branches: [main]
6+
paths:
7+
- '.github/workflows/tmp-refresh-integrity.yml'
8+
9+
permissions:
10+
contents: write
11+
12+
jobs:
13+
refresh:
14+
runs-on: ubuntu-latest
15+
timeout-minutes: 8
16+
steps:
17+
- name: Checkout main
18+
uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd
19+
with:
20+
fetch-depth: 0
21+
- name: Regenerate and validate exact release hashes
22+
shell: bash
23+
run: |
24+
set -euo pipefail
25+
python3 scripts/generate_release_hashes.py
26+
python3 scripts/validate_release_integrity.py
27+
git config user.name 'github-actions[bot]'
28+
git config user.email '41898282+github-actions[bot]@users.noreply.github.com'
29+
git add FILE-HASHES.json PATCH-SHA256SUMS.txt SHA256SUMS.json
30+
if ! git diff --cached --quiet; then
31+
git commit -m 'chore: refresh release integrity after Quick trigger [skip ci]'
32+
git fetch origin main
33+
git rebase origin/main
34+
python3 scripts/generate_release_hashes.py
35+
python3 scripts/validate_release_integrity.py
36+
git add FILE-HASHES.json PATCH-SHA256SUMS.txt SHA256SUMS.json
37+
if ! git diff --cached --quiet; then git commit --amend --no-edit; fi
38+
git push origin HEAD:main
39+
fi

0 commit comments

Comments
 (0)