wip: Refactor CI to use GitHub actions and generic bash scripts #27

kalisio · Apr 20, 2024 · 8adbd82 · 8adbd82
1 parent 66b1e3f
commit 8adbd82
Show file tree

Hide file tree

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

diff --git a/scripts/kash b/scripts/kash
diff --git a/scripts/setup_workspace.sh b/scripts/setup_workspace.sh
@@ -24,6 +24,7 @@ else
             ;;
         esac
     done
+
     shift $((OPTIND-1))
     WORKSPACE_DIR="$1"
     DEVELOPMENT_REPO_URL="$GITHUB_URL/kalisio/development.git"