chore: allow to run CI manually from GitHub [additional tests]

kalisio · Apr 19, 2024 · 914111f · 914111f
1 parent 1eb79af
commit 914111f
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
@@ -1,5 +1,5 @@
-name: workflow
-on: [ push ]
+name: CI
+on: [ push, workflow_dispatch ]
 
 jobs:
   run_tests:

diff --git a/scripts/setup_workspace.sh b/scripts/setup_workspace.sh
@@ -21,7 +21,7 @@ else
         case $option in
             b) # defines branch
                 WORKSPACE_BRANCH=$OPTARG;;
-            t) # defines venv tag
+            t) # defines tag
                 WORKSPACE_TAG=$OPTARG;;
             *)
             ;;