Skip to content

Commit 69f738f

Browse files
committed
chore: stage locally validated Hermes verifier fixes
1 parent 88b2e66 commit 69f738f

5 files changed

Lines changed: 35 additions & 0 deletions

File tree

Lines changed: 35 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,35 @@
1+
name: Stage reviewed Hermes fix
2+
3+
on:
4+
push:
5+
branches: [codex/hermes-base-submit-20260912]
6+
7+
permissions:
8+
contents: write
9+
10+
jobs:
11+
stage:
12+
runs-on: blacksmith-4vcpu-ubuntu-2404
13+
timeout-minutes: 5
14+
steps:
15+
- uses: actions/checkout@v7
16+
with:
17+
fetch-depth: 0
18+
persist-credentials: true
19+
- name: Apply the locally tested patch on the audited commit
20+
shell: bash
21+
run: |
22+
set -euo pipefail
23+
cat .hermes-patch/{0,1,2,3}.xzpart | xz -dc > "$RUNNER_TEMP/hermes-base.patch"
24+
echo "49b2915549fefd1dfeb4f5d9fc1274d945d12ebfd37855fe7a6e4442eb291d26 $RUNNER_TEMP/hermes-base.patch" | sha256sum --check
25+
git switch --detach 88b2e66743033c38657b0aa97ab4c3acda6bd3c2
26+
git apply --check --unidiff-zero --exclude=.github/workflows/test.yml "$RUNNER_TEMP/hermes-base.patch"
27+
git apply --index --unidiff-zero --exclude=.github/workflows/test.yml "$RUNNER_TEMP/hermes-base.patch"
28+
git diff --cached --check
29+
git diff --cached --stat
30+
test "$(git diff --cached --name-only | wc -l)" -eq 14
31+
git config user.name 'github-actions[bot]'
32+
git config user.email '41898282+github-actions[bot]@users.noreply.github.com'
33+
git commit -m 'fix(hermes-base): preserve semantic operands and bound verifier processes'
34+
git push origin HEAD:refs/heads/codex/hermes-base-staged-20260912
35+
git rev-parse HEAD HEAD^{tree}

‎.hermes-patch/0.xzpart‎

6.59 KB
Binary file not shown.

‎.hermes-patch/1.xzpart‎

6.59 KB
Binary file not shown.

‎.hermes-patch/2.xzpart‎

6.59 KB
Binary file not shown.

‎.hermes-patch/3.xzpart‎

1.4 KB
Binary file not shown.

0 commit comments

Comments
 (0)