Merge branch 'main' of github.com:GeQi/project

GeQi · Apr 4, 2024 · ebe02fb · ebe02fb
2 parents ae18aa3 + a01dae9
commit ebe02fb
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 26 deletions.
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
@@ -1,12 +1,6 @@
 on:
   push:
-    branches:
-      - 'main'
-    paths:
-      - '.github/**'
   pull_request:
-    paths:
-      - '.github/**'
   merge_group:
 
 name: lint

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml