tmp disable lint

nyu-dh · Nov 10, 2023 · 9a7d34f · 9a7d34f
1 parent 6f33722
commit 9a7d34f
Showing 1 changed file with 11 additions and 9 deletions.
diff --git a/.github/workflows/lint-batch.yml b/.github/workflows/lint-batch.yml
@@ -1,13 +1,15 @@
 name: lint batch
-on:
-  push:
-    branches:
-      - main
-    paths-ignore:
-      - '**.md'
-  pull_request:
-    paths-ignore:
-      - '**.md'
+on: workflow_dispatch
+
+# on:
+#   push:
+#     branches:
+#       - main
+#     paths-ignore:
+#       - '**.md'
+#   pull_request:
+#     paths-ignore:
+#       - '**.md'
 
 jobs:
   lint: