aboutsummaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/run_tests.yaml1
-rw-r--r--.github/workflows/warns_merge_master.yml19
2 files changed, 20 insertions, 0 deletions
diff --git a/.github/workflows/run_tests.yaml b/.github/workflows/run_tests.yaml
index e9370cc0..3dafaf8d 100644
--- a/.github/workflows/run_tests.yaml
+++ b/.github/workflows/run_tests.yaml
@@ -41,6 +41,7 @@ jobs:
--skip-prepare-environment
--skip-torch-cuda-test
--test-server
+ --do-not-download-clip
--no-half
--disable-opt-split-attention
--use-cpu all
diff --git a/.github/workflows/warns_merge_master.yml b/.github/workflows/warns_merge_master.yml
new file mode 100644
index 00000000..ae2aab6b
--- /dev/null
+++ b/.github/workflows/warns_merge_master.yml
@@ -0,0 +1,19 @@
+name: Pull requests can't target master branch
+
+"on":
+ pull_request:
+ types:
+ - opened
+ - synchronize
+ - reopened
+ branches:
+ - master
+
+jobs:
+ check:
+ runs-on: ubuntu-latest
+ steps:
+ - name: Warning marge into master
+ run: |
+ echo -e "::warning::This pull request directly merge into \"master\" branch, normally development happens on \"dev\" branch."
+ exit 1