bertie

Inria-Prosecco · May 31, 2024 · ac5f40b · ac5f40b
1 parent 103ed6f
commit ac5f40b
Show file tree

Hide file tree

Showing 6 changed files with 1,397 additions and 16 deletions.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -17,6 +17,10 @@ on:
         description: "Libcrux"
         type: "string"
         default: "dev"
+      bertie:
+        description: "Bertie"
+        type: "string"
+        default: "main"
 
 jobs:
   test:
@@ -32,6 +36,7 @@ jobs:
           CHARON_BRANCH: ${{ inputs.charon }}
           EURYDICE_BRANCH: ${{ inputs.eurydice }}
           LIBCRUX_BRANCH: ${{ inputs.libcrux }}
+          BERTIE_BRANCH: ${{ inputs.bertie }}
 
       - name: generate zulip message
         run: |