Merge remote-tracking branch 'upstream/develop' into develop

This commit is contained in:
Jerry 2022-06-21 22:08:27 -07:00
commit 1daa659aa5

View file

@ -51,18 +51,6 @@ jobs:
- name: Build
run: make all
# TODO: make it work
# - name: Reproducible build test
# run: |
# make geth
# shasum -a256 ./build/bin/geth > bor1.sha256
# make geth
# shasum -a256 ./build/bin/geth > bor2.sha256
# if ! cmp -s bor1.sha256 bor2.sha256; then
# echo >&2 "Reproducible build broken"; cat bor1.sha256; cat bor2.sha256; exit 1
# fi
- name: Lint
if: runner.os == 'Linux'
run: make lint
@ -81,6 +69,17 @@ jobs:
with:
file: ./cover.out
# # TODO: make it work
# - name: Reproducible build test
# run: |
# make geth
# shasum -a256 ./build/bin/geth > bor1.sha256
# make geth
# shasum -a256 ./build/bin/geth > bor2.sha256
# if ! cmp -s bor1.sha256 bor2.sha256; then
# echo >&2 "Reproducible build broken"; cat bor1.sha256; cat bor2.sha256; exit 1
# fi
integration-tests:
if: (github.event.action != 'closed' || github.event.pull_request.merged == true)
strategy: