| commit | 71e9424af2d37db26f631ebb9d1cb1487879454c | [log] [tgz] |
|---|---|---|
| author | manarabdelaty <manarabdelatty@aucegypt.edu> | Fri Sep 17 20:09:40 2021 +0200 |
| committer | manarabdelaty <manarabdelatty@aucegypt.edu> | Fri Sep 17 20:09:40 2021 +0200 |
| tree | b76ecbc9d9f2fc81baeff0cd22f64b7f894a87f7 | |
| parent | ddc719640b476f95f02caa6add891e56f0331dbf [diff] [blame] |
[CI] Update precheck scripts
diff --git a/.github/workflows/caravel_build.yml b/.github/workflows/caravel_build.yml index 43bf925..c615662 100644 --- a/.github/workflows/caravel_build.yml +++ b/.github/workflows/caravel_build.yml
@@ -6,6 +6,7 @@ push: # Runs on Pull Requests pull_request: + workflow_dispatch: jobs: make_ship: