From b31aae3aef61f21281a126d01d67d1211db79403 Mon Sep 17 00:00:00 2001
From: Paul Cadman <git@paulcadman.dev>
Date: Mon, 21 Aug 2023 19:26:59 +0100
Subject: [PATCH] Revert workflow-dispatch input parameter

We would like to test to see if this is causing an issue with the gitrev
dependency.

See https://github.com/anoma/juvix/issues/2294
---
 .github/workflows/release-nightly.yaml | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/.github/workflows/release-nightly.yaml b/.github/workflows/release-nightly.yaml
index 4a48c3d7..a4d8be52 100644
--- a/.github/workflows/release-nightly.yaml
+++ b/.github/workflows/release-nightly.yaml
@@ -1,12 +1,6 @@
 name: Nightly build, release and benchmark
 
 on:
-  workflow_dispatch:
-    inputs:
-      ref:
-        description: "the repository ref to build"
-        required: true
-        default: "main"
   schedule:
     - cron: '0 3 * * *'
 
@@ -26,7 +20,7 @@ jobs:
         with:
           submodules: true
           repository: anoma/juvix
-          ref: ${{ github.event.inputs.ref }}
+          ref: main
 
       - name: create ~/.local/bin
         run: mkdir -p "$HOME/.local/bin"