wip: src/ Makefiles cleanup + workflow to check src/ with Dockerfile in scripts/Docker

Author: tfaoliveira-sb

.github/workflows/amd64-linux-main-proof.yml .github/workflows/amd64-linux-main-proof.yml.0

@@ -0,0 +1,81 @@
+name: amd64-linux
+
+on:
+  workflow_dispatch:
+  push:
+    branches:
+      - main
+  pull_request:
+
+jobs:
+
+  # extract src
+  extract-src:
+    runs-on: [self-hosted, linux, X64, amd64-main]
+    steps:
+      - name: checkout
+        uses: actions/checkout@v4
+        with:
+          submodules: 'true'
+
+      - name: extract src from submodules
+        run: ./scripts/extract-all.sh
+
+  # src
+  check-safety:
+    needs: extract-src
+    runs-on: [self-hosted, linux, X64, amd64-main]
+    steps:
+      - name: checkout
+        uses: actions/checkout@v4
+
+      - name: check safety
+        run: make -j$JOBS -C src/ CI=1 check-safety
+      - name: print report
+        run: make -C src/ CI=1 reporter
+      - name: return error
+        run: make -C src/ CI=1 err
+
+  check-sct:
+    needs: extract-src
+    runs-on: [self-hosted, linux, X64, amd64-main]
+    steps:
+      - name: checkout
+        uses: actions/checkout@v4
+
+      - name: check speculative constant-time (v1)
+        run: make -j$JOBS -C src/ CI=1 check-sct
+      - name: print report
+        run: make -C src/ CI=1 reporter
+      - name: return error
+        run: make -C src/ CI=1 err
+
+  extract-to-easycrypt:
+    needs: extract-src
+    runs-on: [self-hosted, linux, X64, amd64-main]
+    steps:
+      - name: checkout
+        uses: actions/checkout@v4
+
+      - name: check extraction from Jasmin to EasyCrypt
+        run: make -j$JOBS -C src/ CI=1 extract-to-easycrypt
+      - name: print report
+        run: make -C src/ CI=1 reporter
+      - name: return error
+        run: make -C src/ CI=1 err
+
+  compile-src:
+    needs: extract-src
+    runs-on: [self-hosted, linux, X64, amd64-main]
+    steps:
+      - name: checkout
+        uses: actions/checkout@v4
+
+      - name: check compilation of libformosa25519.a
+        run: make -j$JOBS -C src/ CI=1 libformosa25519.a
+      - name: print report
+        run: make -C src/ CI=1 reporter
+      - name: return error
+        run: make -C src/ CI=1 err
+
+