Merge branch 'develop' of https://github.com/ikvmnet/ikvm into develop

ikvmnet · Mar 12, 2024 · f31e465 · f31e465
2 parents 68dfec5 + 5dab372
commit f31e465
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/workflows/IKVM.yml b/.github/workflows/IKVM.yml
@@ -2,6 +2,10 @@ name: IKVM
 
 on:
   workflow_dispatch:
+    inputs:
+      full_test:
+        required: false
+        type: boolean
   push:
     branches:
     - main