sldfkj

.github/workflows/nightly.yml

@@ -2,6 +2,27 @@ on:
   schedule:
     - cron: '0 0 * * *'
   workflow_dispatch:
+    inputs:
+      hax:
+        description: "Hax"
+        type: "string"
+        default: "main"
+      charon:
+        description: "Charon"
+        type: "string"
+        default: "main"
+      eurydice:
+        description: "Eurydice"
+        type: "string"
+        default: "main"
+      libcrux:
+        description: "Libcrux"
+        type: "string"
+        default: "main"
+      bertie:
+        description: "Bertie"
+        type: "string"
+        default: "main"
   push:
 
 # Cancel previous versions of this job that are still running.
@@ -17,6 +38,12 @@ jobs:
         uses: actions/checkout@v4
 
       - name: update
+        env:
+          HAX_BRANCH: ${{ inputs.hax || "main" }}
+          CHARON_BRANCH: ${{ inputs.charon || "main" }}
+          EURYDICE_BRANCH: ${{ inputs.eurydice || "main" }}
+          LIBCRUX_BRANCH: ${{ inputs.libcrux || "main" }}
+          BERTIE_BRANCH: ${{ inputs.bertie || "main" }}
         run: ./update.sh
 
       # Commit the update onto a new branch
@@ -53,7 +80,7 @@ jobs:
         with:
           ref: nightly
       # - run: nix build -L --no-link ".#charon"
-      - run: false
+      - run: true
 
   eurydice:
     needs: update-flake