From 9dc07caca0f792584d1aacf988697ffa33cc2dfe Mon Sep 17 00:00:00 2001
From: Tiago Oliveira <tfaoliveira@gmail.com>
Date: Tue, 6 Feb 2024 13:44:47 +0100
Subject: [PATCH] mlkem768: add throwaway workflow file for temporary CI (to be
 deleted when PR to libjade main) -- for quick feedback

---
 .../workflows/amd64-linux-hakyber-mlkem.yml   | 113 ++++++++++++++++++
 1 file changed, 113 insertions(+)
 create mode 100644 .github/workflows/amd64-linux-hakyber-mlkem.yml

diff --git a/.github/workflows/amd64-linux-hakyber-mlkem.yml b/.github/workflows/amd64-linux-hakyber-mlkem.yml
new file mode 100644
index 00000000..a754cf62
--- /dev/null
+++ b/.github/workflows/amd64-linux-hakyber-mlkem.yml
@@ -0,0 +1,113 @@
+name: amd64-linux-hakyber-mlkem
+
+on:
+  workflow_dispatch:
+  push:
+    branches:
+      - feature/hakyber_mlkem
+  pull_request:
+
+jobs:
+
+
+
+  compile:
+    runs-on: [self-hosted, linux, X64, amd64-main]
+    steps:
+      - name: checkout
+        uses: actions/checkout@v3
+
+      - name: compile
+        run: JASMIN=$(which_jasminc) make -j$JOBS -C src/ CI=1 FILTER=crypto_kem/mlkem/% default
+      - name: print logs
+        run: JASMIN=$(which_jasminc) make -C src/ CI=1 FILTER=crypto_kem/mlkem/% reporter
+      - name: return error if there are any errors
+        run: make -C src/ CI=1 FILTER=crypto_kem/mlkem/% err
+
+      - name: libjade-logs-src.tar.gz - contains non-empty logs and errors
+        if: always()
+        uses: actions/upload-artifact@v3
+        with:
+          name: libjade-logs-src.tar.gz
+          path: src/libjade-logs-src.tar.gz
+
+
+
+  test:
+    needs: [compile]
+    runs-on: [self-hosted, linux, X64, amd64-main]
+    steps:
+      - name: checkout
+        uses: actions/checkout@v3
+
+      - name: compile and run
+        run: JASMIN=$(which_jasminc) make -j$JOBS -C test/ CI=1 FILTER=crypto_kem/mlkem/% default
+      - name: print logs
+        run: JASMIN=$(which_jasminc) make -C test/ CI=1 FILTER=crypto_kem/mlkem/% reporter
+      - name: return error if there are any errors
+        run: make -C test/ CI=1 FILTER=crypto_kem/mlkem/% err
+
+      - name: libjade-logs-test.tar.gz - contains non-empty logs and errors
+        if: always()
+        uses: actions/upload-artifact@v3
+        with:
+          name: libjade-logs-test.tar.gz
+          path: test/libjade-logs-test.tar.gz
+
+
+
+  bench1:
+    needs: [compile]
+    runs-on: [self-hosted, linux, X64, amd64-main]
+    steps:
+      - name: checkout
+        uses: actions/checkout@v3
+
+      - name: compile
+        run: JASMIN=$(which_jasminc) make -j$JOBS -C src/   CI=1 FILTER=crypto_kem/mlkem/% default
+
+      - name: run
+        run: JASMIN=$(which_jasminc) make -j$JOBS -C bench/ CI=1 FILTER=crypto_kem/mlkem/% DEFINE='-DTIMINGS=10' run
+
+      - name: print logs
+        run: JASMIN=$(which_jasminc) make -C bench/ CI=1 FILTER=crypto_kem/mlkem/% reporter
+
+      - name: return error if there are any errors
+        run: make -C bench/ CI=1 FILTER=crypto_kem/mlkem/% err
+
+      - name: libjade-logs-bench.tar.gz - contains non-empty logs and errors
+        if: always()
+        uses: actions/upload-artifact@v3
+        with:
+          name: libjade-logs-bench1.tar.gz
+          path: bench/libjade-logs-bench.tar.gz
+
+
+
+  bench2:
+    needs: [compile]
+    runs-on: [self-hosted, linux, X64, amd64-main]
+    steps:
+      - name: checkout
+        uses: actions/checkout@v3
+
+      - name: compile
+        run: JASMIN=$(which_jasminc) make -j$JOBS -C src/   CI=1 FILTER=crypto_kem/mlkem/% default
+
+      - name: run
+        run: JASMIN=$(which_jasminc) make -j$JOBS -C bench/ CI=1 FILTER=crypto_kem/mlkem/% run DEFINE='-DTIMINGS=10 -DRUNS=2 -DST_ON' RANDINC='../test/common/' RANDLIB='../test/common/notrandombytes.c';
+
+      - name: print logs
+        run: JASMIN=$(which_jasminc) make -C bench/ CI=1 FILTER=crypto_kem/mlkem/% reporter
+
+      - name: return error if there are any errors
+        run: make -C bench/ CI=1 FILTER=crypto_kem/mlkem/% err
+
+      - name: libjade-logs-bench.tar.gz - contains non-empty logs and errors
+        if: always()
+        uses: actions/upload-artifact@v3
+        with:
+          name: libjade-logs-bench2.tar.gz
+          path: bench/libjade-logs-bench.tar.gz
+
+