Merge pull request #4 from anoma/revert-workflow-dispatch

Revert workflow-dispatch input parameter

.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"