From 85597e5c1b816402ba8d2fe71b03c22b2d4aba94 Mon Sep 17 00:00:00 2001
From: Nadrieril <nadrieril+git@gmail.com>
Date: Wed, 13 Nov 2024 17:35:34 +0100
Subject: [PATCH] sldfkj

---
 .github/workflows/nightly.yml | 29 ++++++++++++++-
 .github/workflows/test.yml    | 67 -----------------------------------
 2 files changed, 28 insertions(+), 68 deletions(-)
 delete mode 100644 .github/workflows/test.yml

diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml
index 8230b53..5a7e0d1 100644
--- a/.github/workflows/nightly.yml
+++ b/.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
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
deleted file mode 100644
index 86c9f75..0000000
--- a/.github/workflows/test.yml
+++ /dev/null
@@ -1,67 +0,0 @@
-on:
-  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"
-
-jobs:
-  test:
-    runs-on: [self-hosted, linux, nix]
-    steps:
-      - name: checkout
-        uses: actions/checkout@v4
-
-      - name: update
-        run: ./update.sh
-        env:
-          HAX_BRANCH: ${{ inputs.hax }}
-          CHARON_BRANCH: ${{ inputs.charon }}
-          EURYDICE_BRANCH: ${{ inputs.eurydice }}
-          LIBCRUX_BRANCH: ${{ inputs.libcrux }}
-          BERTIE_BRANCH: ${{ inputs.bertie }}
-
-      - name: generate zulip message
-        run: |
-          {
-            echo 'MSG<<EOF'
-            echo "*Manual run*"
-            nix shell nixpkgs#jq --command ./message.sh
-            echo EOF
-          } >> "$GITHUB_ENV"
-        env:
-          RUN: ${{ github.run_id }}
-
-      - name: send zulip info message
-        uses: slackapi/slack-github-action@v1.25.0
-        with:
-          payload: |
-            { "text": ${{ toJSON(env.MSG) }} }
-        env:
-          SLACK_WEBHOOK_URL: ${{ secrets.ZULIP_WEBHOOK_URL }}
-
-      - name: send zulip error message
-        if: ${{ failure() }}
-        uses: slackapi/slack-github-action@v1.25.0
-        with:
-          payload: |
-            { "text": "Unexpected Error: ${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}" }
-        env:
-          SLACK_WEBHOOK_URL: ${{ secrets.ZULIP_WEBHOOK_URL }}