(teaclave-trustzone-sdk) branch main updated: ci: test build on dev docker (#236)

[yu...@apache.org]

This is an automated email from the ASF dual-hosted git repository.

yuanz pushed a commit to branch main
in repository https://gitbox.apache.org/repos/asf/teaclave-trustzone-sdk.git


The following commit(s) were added to refs/heads/main by this push:
     new e933aa2  ci: test build on dev docker (#236)
e933aa2 is described below

commit e933aa2504bdabce45c1b1921fd66c7667cee74b
Author: Yuan Zhuang <yu...@apache.org>
AuthorDate: Mon Oct 13 10:41:26 2025 +0800

    ci: test build on dev docker (#236)
    
    Co-authored-by: zf <zf...@apache.org>
---
 .github/workflows/ci.yml | 39 +++++++++++++++++++++++++++++++++++++++
 1 file changed, 39 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index c3e18c8..1ef7bd7 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -65,6 +65,45 @@ jobs:
           (cd optee-teec && cargo run -p systest)
           (cd optee-utee && cargo build -p systest)
 
+  # Test build no-std examples on dev docker container
+  test-nostd-build-on-dev-docker:
+    runs-on: ubuntu-latest
+    container: 
+      image: teaclave/teaclave-trustzone-emulator-nostd-optee-4.7.0-expand-memory:latest
+    env:
+      HOME: /root
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+      - name: Setup environment
+        run: |
+          # Run entrypoint.sh to set up the bash profile
+          /entrypoint.sh true
+      - name: Build no-std and common examples
+        shell: bash -l {0}  # Use login shell to load the profile
+        run: |
+          make
+
+  # Test build std examples on dev docker container
+  test-std-build-on-dev-docker:
+    runs-on: ubuntu-latest
+    container:
+      image: teaclave/teaclave-trustzone-emulator-std-optee-4.7.0-expand-memory:latest
+    env:
+      HOME: /root
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+      - name: Setup environment
+        run: |
+          # Run entrypoint.sh to set up the bash profile
+          /entrypoint.sh true
+      - name: Build no-std and common examples
+        shell: bash -l {0}  # Use login shell to load the profile
+        run: |
+          ln -s $RUST_STD_DIR rust
+          make std-examples
+
   license:
     runs-on: ubuntu-latest
     steps:


---------------------------------------------------------------------
To unsubscribe, e-mail: commits-unsubscribe@teaclave.apache.org
For additional commands, e-mail: commits-help@teaclave.apache.org