From 8b8605d395efe5e6641d19b3abcdfd65bcabb314 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Guido=20Mart=C3=ADnez?= <mtzguido@gmail.com>
Date: Tue, 1 Oct 2024 15:11:38 -0700
Subject: [PATCH] check-world: add comparse, DY*, mls-star

---
 .github/workflows/check-world.yml | 69 +++++++++++++++++++++++++++++++
 1 file changed, 69 insertions(+)

diff --git a/.github/workflows/check-world.yml b/.github/workflows/check-world.yml
index 4788cbaf9db..ca6cfa46002 100644
--- a/.github/workflows/check-world.yml
+++ b/.github/workflows/check-world.yml
@@ -689,3 +689,72 @@ jobs:
 
       - name: Build
         run: make -C mitls-fstar/src/tls -skj$(nproc) test
+
+
+  ### Nix jobs, for some Inria projects
+  #
+  # NOTE: these jobs are not containerized
+  # 1- it should not be needed since Nix takes care of isolating the environment
+  # 2- it would actually fail to setup Nix due to permissions in the container, and I haven't
+  #    found a clear reference on what the permissions/uids should be.
+  #
+  # The fstar-nix job is here to
+  # 1- Test the nix build in this workflow too
+  # 2- Reuse the built F* in the following projects, via the magic-nix-cache (note the 'needs')
+
+  fstar-nix:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v4
+    - uses: DeterminateSystems/nix-installer-action@main
+    - uses: DeterminateSystems/magic-nix-cache-action@main
+    - name: Build
+      run: nix build -L
+
+  comparse:
+    needs: fstar-nix
+    runs-on: ubuntu-latest
+    steps:
+      - uses: DeterminateSystems/nix-installer-action@main
+      - uses: DeterminateSystems/magic-nix-cache-action@main
+
+      - uses: actions/checkout@master
+        with:
+          repository: TWal/comparse
+
+      - name: Update fstar flake and check
+        run: |
+          nix flake update --override-input fstar-flake "github:${{github.repository}}?rev=${{github.sha}}"
+          nix flake check
+
+  dy-star:
+    needs: fstar-nix
+    runs-on: ubuntu-latest
+    steps:
+      - uses: DeterminateSystems/nix-installer-action@main
+      - uses: DeterminateSystems/magic-nix-cache-action@main
+
+      - uses: actions/checkout@master
+        with:
+          repository: REPROSEC/dolev-yao-star-extrinsic
+
+      - name: Update fstar flake and check
+        run: |
+          nix flake update --override-input fstar-flake "github:${{github.repository}}?rev=${{github.sha}}"
+          nix flake check
+
+  mls-star:
+    needs: fstar-nix
+    runs-on: ubuntu-latest
+    steps:
+      - uses: DeterminateSystems/nix-installer-action@main
+      - uses: DeterminateSystems/magic-nix-cache-action@main
+
+      - uses: actions/checkout@master
+        with:
+          repository: Inria-Prosecco/mls-star
+
+      - name: Update fstar flake and check
+        run: |
+          nix flake update --override-input fstar-flake "github:${{github.repository}}?rev=${{github.sha}}"
+          nix flake check