commit | 627ebc75276a18e3bf1268bc6114c5ee2e98df07 | [log] [tgz] |
---|---|---|
author | manarabdelaty <manarabdelatty@aucegypt.edu> | Tue Sep 21 01:42:33 2021 +0200 |
committer | manarabdelaty <manarabdelatty@aucegypt.edu> | Tue Sep 21 01:42:33 2021 +0200 |
tree | de82ae87f9fb1e2cdf1b0d6dc1de1a23a0a116f1 | |
parent | eeb2287fde073efa9d48bc9f385c7088b87f7fd2 [diff] | |
parent | 03aa1fa01634c4e97e377dc7e6a27f73e1b82c03 [diff] |
Merge branch 'update_spice' of https://github.com/Manarabdelaty/caravel_user_project_analog into update_spice
diff --git a/.github/workflows/caravan_build.yml b/.github/workflows/caravan_build.yml index b072671..800c030 100644 --- a/.github/workflows/caravan_build.yml +++ b/.github/workflows/caravan_build.yml
@@ -6,6 +6,7 @@ push: # Runs on Pull Requests pull_request: + workflow_dispatch: jobs: make_truck:
diff --git a/.github/workflows/user_project_ci.yml b/.github/workflows/user_project_ci.yml index 0c81bb9..a7cb6e8 100644 --- a/.github/workflows/user_project_ci.yml +++ b/.github/workflows/user_project_ci.yml
@@ -6,6 +6,7 @@ push: # Runs on Pull Requests pull_request: + workflow_dispatch: jobs: precheck: