summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorTiejunZhou <[email protected]>2023-04-19 17:56:09 +0800
committerGitHub <[email protected]>2023-04-19 17:56:09 +0800
commit672c5e953ed4e664acab6e01b058f0e1e2e033c3 (patch)
treec9177ae566e451e2ba5fcc1e84a760c6e3f5feb0 /.github
parent23680f5e5f01702f7327160b8766bc893a5e6c54 (diff)
Release ARMv7-A architecture ports and add tx_user.h to GNU port assembly files (#250)
* Release ARMv7-A architecture ports * Add tx_user.h to GNU port assembly files * Update GitHub action to perform check for Cortex-A ports
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/ports_arch_check.yml30
1 files changed, 28 insertions, 2 deletions
diff --git a/.github/workflows/ports_arch_check.yml b/.github/workflows/ports_arch_check.yml
index bc6d5440..9e34b1d9 100644
--- a/.github/workflows/ports_arch_check.yml
+++ b/.github/workflows/ports_arch_check.yml
@@ -15,11 +15,12 @@ on:
- 'ports/**'
- 'ports_modules/**'
- 'ports_smp/**'
+ - 'ports_arch/**'
# 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:
+ # Check ports for cortex-m
+ cortex-m:
# The type of runner that the job will run on
runs-on: ubuntu-latest
@@ -38,8 +39,33 @@ jobs:
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"
+ git status
exit 1
fi
+ cortex-a:
+ # Check ports for cortex-a
+ runs-on: windows-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: |
+ cd ports_arch/ARMv7-A
+ pwsh -Command ./update.ps1 -PortSets tx -CopyCommonFiles -CopyPortFiles -CopyExample -PatchFiles
+ if ((git status --porcelain) -ne $null) {
+ Write-Host "Ports for ARM architecture is not updated"
+ git status
+ Exit 1
+ }
+