Enable manually starting workflows

andersfugmann · Jun 1, 2024 · c4379c0 · c4379c0
1 parent 9a17ed0
commit c4379c0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
@@ -1,8 +1,8 @@
 name: Main workflow
 
 on:
-  - pull_request
   - push
+  - workflow_dispatch
 
 jobs:
   build:
@@ -18,7 +18,7 @@ jobs:
         os:
           - ubuntu-latest
         ocaml-compiler:
-          - 5.0.0
+          - 5
     runs-on: ${{ matrix.os }}
 
     steps: