IF: Merge main (mostly block_state and block_header_state renaming) into hotstuff_integration branch (12/06/2023) #3934
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Submodule Check | |
| on: [pull_request] | |
| env: | |
| PR_NUMBER: ${{ toJson(github.event.number) }} | |
| jobs: | |
| submodule_regression_check: | |
| name: Submodule Regression Check | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout | |
| run: | | |
| git clone https://github.com/${GITHUB_REPOSITORY} . | |
| git fetch -v --prune origin +refs/pull/${PR_NUMBER}/merge:refs/remotes/pull/${PR_NUMBER}/merge | |
| git checkout --force --progress refs/remotes/pull/${PR_NUMBER}/merge | |
| git submodule sync --recursive | |
| git submodule update --init --force --recursive | |
| - name: Submodule Regression Check | |
| run: ./scripts/submodule-regression-check.sh |