Merge branch 'main' into develop

WatWowMap · Feb 6, 2024 · c52a898 · c52a898
2 parents 49bd269 + b8db2c0
commit c52a898
Show file tree

Hide file tree

Showing 4 changed files with 424 additions and 452 deletions.
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
@@ -1,5 +1,8 @@
 name: Lint
-on: [push, pull_request]
+on:
+  push:
+  pull_request:
+    types: [opened, synchronize, reopened]
 
 jobs:
   lint:

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -1,5 +1,8 @@
 name: Main CI
-on: [push, pull_request]
+on:
+  push:
+  pull_request:
+    types: [opened, synchronize, reopened]
 
 jobs:
   config: