Ci tweaks (#186)

* also run CI when a PR gets a review request * remove deprecated ci config file * remove Jenkinsfile
urbanopt · Aug 21, 2023 · b8f8504 · b8f8504
1 parent 49f24e3
commit b8f8504
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 67 deletions.
diff --git a/.github/workflows/nightly_ci_build.yml b/.github/workflows/nightly_ci_build.yml
diff --git a/.github/workflows/weekly_build.yml b/.github/workflows/weekly_build.yml
@@ -6,6 +6,8 @@ on:
     # https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#schedule
     # 5 am UTC (11pm MDT the day before) every weekday night in MDT
     - cron: '* 5 * * 0'
+  pull_request:
+    types: [review_requested]
 
 env:
   # This env var should enforce develop branch of all dependencies

diff --git a/Jenkinsfile b/Jenkinsfile