summaryrefslogtreecommitdiff
path: root/.github/workflows
diff options
context:
space:
mode:
authorTiejunZhou <[email protected]>2023-04-18 18:11:20 +0800
committerGitHub <[email protected]>2023-04-18 18:11:20 +0800
commit23680f5e5f01702f7327160b8766bc893a5e6c54 (patch)
tree0cee1ec2d7e298bcfad386a76fde8870e58a72fb /.github/workflows
parentd64ef2ab064047ab5aed15c7861e5a44ab8022e3 (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.yml45
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
+
+
+