diff options
| author | TiejunZhou <[email protected]> | 2023-04-18 18:11:20 +0800 |
|---|---|---|
| committer | GitHub <[email protected]> | 2023-04-18 18:11:20 +0800 |
| commit | 23680f5e5f01702f7327160b8766bc893a5e6c54 (patch) | |
| tree | 0cee1ec2d7e298bcfad386a76fde8870e58a72fb /.github/workflows | |
| parent | d64ef2ab064047ab5aed15c7861e5a44ab8022e3 (diff) | |
Release ARMv7-M and ARMv8-M architecture ports (#249)
* Release ARMv7-M and ARMv8-M architecture ports
* Add a pipeline to check ports_arch
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/ports_arch_check.yml | 45 |
1 files changed, 45 insertions, 0 deletions
diff --git a/.github/workflows/ports_arch_check.yml b/.github/workflows/ports_arch_check.yml new file mode 100644 index 00000000..bc6d5440 --- /dev/null +++ b/.github/workflows/ports_arch_check.yml @@ -0,0 +1,45 @@ +# This is a basic workflow to help you get started with Actions + +name: ports_arch_check + +# Controls when the action will run. Triggers the workflow on push or pull request +# events but only for the master branch +on: + pull_request: + branches: [ master ] + paths: + - ".github/workflows/ports_arch_check.yml" + - 'common/**' + - 'common_modules/**' + - 'common_smp/**' + - 'ports/**' + - 'ports_modules/**' + - 'ports_smp/**' + +# A workflow run is made up of one or more jobs that can run sequentially or in parallel +jobs: + # This workflow contains a single job called "build" + build: + # The type of runner that the job will run on + runs-on: ubuntu-latest + + # Steps represent a sequence of tasks that will be executed as part of the job + steps: + # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it + - name: Checkout sources recursively + uses: actions/checkout@v2 + with: + token: ${{ secrets.REPO_SCOPED_TOKEN }} + submodules: true + + # Copy ports arch + - name: Copy ports arch + run: | + scripts/copy_armv7_m.sh && scripts/copy_armv8_m.sh && scripts/copy_module_armv7_m.sh + if [[ -n $(git status --porcelain) ]]; then + echo "Ports for ARM architecture is not updated" + exit 1 + fi + + + |
