remove unused proxy settings

2022-07-29 17:37:38 +02:00
parent 4173ad2f84
commit 35f609329f
3 changed files with 9 additions and 13 deletions
--- a/.github/workflows/develop.yml
+++ b/.github/workflows/develop.yml
@@ -2,8 +2,10 @@ name: build

 on:
  push:
-    branches:
-      - 'develop'
+    branches-ignore:
+      - master
+    tags-ignore:
+      - '*'

 jobs: