From c2fce9ae1d32f889f16b6e50f0f34886510c016c Mon Sep 17 00:00:00 2001 From: Tao Su Date: Wed, 19 Nov 2025 06:34:46 +0000 Subject: [PATCH] Add workflow to check SCML files with sctrace --- .github/workflows/test_scmls.yml | 24 ++++++++++++++++++++++++ 1 file changed, 24 insertions(+) create mode 100644 .github/workflows/test_scmls.yml diff --git a/.github/workflows/test_scmls.yml b/.github/workflows/test_scmls.yml new file mode 100644 index 000000000..8817fc5ac --- /dev/null +++ b/.github/workflows/test_scmls.yml @@ -0,0 +1,24 @@ +name: Validate SCML files with sctrace + +on: + workflow_dispatch: + pull_request: + paths: + - tools/sctrace/** + - book/src/kernel/linux-compatibility/syscall-feature-coverage/** + push: + branches: + - main + paths: + - tools/sctrace/** + - book/src/kernel/linux-compatibility/syscall-feature-coverage/** + +jobs: + test_scmls: + runs-on: ubuntu-latest + timeout-minutes: 10 + container: asterinas/asterinas:0.16.1-20250922 + steps: + - uses: actions/checkout@v4 + - name: Test SCML files with sctrace + run: ./tools/sctrace.sh -- echo "Asterinas"