add CI for tests

.github/workflows/ml-dsa.yml

@@ -0,0 +1,25 @@
+name: ml-dsa tests
+on:
+  push:
+    branches:
+      - master
+  pull_request:
+    branches: [ "master" ]
+jobs:
+  build-all:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+        with:
+          submodules: recursive
+      - name: Install Toolchain
+        uses: carlosperate/[email protected]
+        with:
+          release: 13.2.Rel1
+      - name: Install qemu-system
+        run: sudo apt-get install -y qemu-system
+      - name: Test (mps2-an386)
+        run: ./test.py PLATFORM=mps2-an386 ml-dsa-44 ml-dsa-65 ml-dsa-87
+      - name: Testvectors (mps2-an386)
+        run: ./testvectors.py PLATFORM=mps2-an386 ml-dsa-44 ml-dsa-65 ml-dsa-87

.github/workflows/ml-kem.yml

@@ -0,0 +1,23 @@
+name: ml-kem tests
+on:
+  push:
+    branches:
+      - master
+  pull_request:
+    branches: [ "master" ]
+jobs:
+  build-all:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+        with:
+          submodules: recursive
+      - name: Install Toolchain
+        uses: carlosperate/[email protected]
+        with:
+          release: 13.2.Rel1
+      - name: Test (mps2-an386)
+        run: ./test.py PLATFORM=mps2-an386 ml-kem-512 ml-kem-768 ml-kem-1024
+      - name: Testvectors (mps2-an386)
+        run: ./testvectors.py PLATFORM=mps2-an386 ml-kem-512 ml-kem-768 ml-kem-1024

.github/workflows/mps2-an386.yml

@@ -0,0 +1,21 @@
+name: mps2-an386 build
+on:
+  push:
+    branches:
+      - master
+  pull_request:
+    branches: [ "master" ]
+jobs:
+  build-all:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+        with:
+          submodules: recursive
+      - name: Install Toolchain
+        uses: carlosperate/[email protected]
+        with:
+          release: 13.2.Rel1
+      - name: Build All (mps2-an386)
+        run: make PLATFORM=mps2-an386 -j2