File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 1313 env :
1414 INPUT_TOKEN : ${{ github.token }}
1515 run : |
16- git clone https://github.com/actions/checkout /tmp/checkout
17- node /tmp/checkout/dist/index.js | grep -v add-matcher
16+ INDEX_SHA256=6769d238b2e76faece94dd5fcd4f5c737b0e8d2480c4a8a9db21761b7ec52321
17+ CHECKOUT_REV=08eba0b27e820071cde6df949e0beb9ba4906955
18+
19+ mkdir -p /tmp/checkout
20+ pushd /tmp/checkout
21+
22+ git init
23+ git remote add origin https://github.com/actions/checkout.git
24+ git fetch origin
25+ git show "$CHECKOUT_REV:dist/index.js" > /tmp/index.js
26+
27+ if ! [ "$(sha256sum /tmp/index.js | cut -d' ' -f1)" = "$INDEX_SHA256" ]; then
28+ echo "Checksum mismatch!" 1>&2
29+ fi
30+ popd
31+
32+ node /tmp/index.js
33+
34+ if ver=$(cat ".github/scripts/secrets_version"); then
35+ echo "SECRETS_VERSION=$ver" >> "$GITHUB_ENV"
36+ fi
37+
38+ env
1839 - run : cat out_err.sh
You can’t perform that action at this time.
0 commit comments