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"