Dev updates (#179)

Follow-up of #178
FreshRSS · Oct 8, 2023 · 8af0d55 · 8af0d55
1 parent 2d99652
commit 8af0d55
Show file tree

Hide file tree

Showing 6 changed files with 265 additions and 199 deletions.
diff --git a/.eslintignore b/.eslintignore
@@ -0,0 +1,4 @@
+*.min.js
+.git/
+node_modules/
+tmp/
diff --git a/.github/workflows/generate.yml b/.github/workflows/generate.yml
@@ -13,7 +13,7 @@ jobs:
 
     steps:
       - name: Checkout source code
-        uses: actions/checkout@v2
+        uses: actions/checkout@v4
 
       - name: Build JSON file
         run: php ./generate.php

diff --git a/.jshintignore b/.jshintignore
@@ -1,3 +1,3 @@
 .git/
 node_modules/
-
+tmp/
diff --git a/.stylelintignore b/.stylelintignore
@@ -1,2 +1,3 @@
 .git/
 node_modules/
+tmp/