removed aquadev

2026-08-23 22:26:23 +00:00 · 2020-12-06 15:52:01 +02:00
parent 85cec7a128
commit 812cbe6dc6
1 changed files with 1 additions and 1 deletions
@@ -13,7 +13,7 @@ name: "CodeQL"

 on:
  push:
-    branches: [ master, aquadev ]
+    branches: [ master ]
  pull_request:
    # The branches below must be a subset of the branches above
    branches: [ master ]