Merge branch 'master' of https://github.com/MarufHasan24/mathlib

MarufHasan24 · Oct 6, 2023 · 41985fe · 41985fe
2 parents 5090d10 + 8222f77
commit 41985fe
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/package.json b/package.json
@@ -19,7 +19,7 @@
     "nodejs"
   ],
   "scripts": {
-    "test": "./.workplace/tester.sh",
+    "test": "chmod +x ./.workplace/tester.sh && ./.workplace/tester.sh",
     "fix-memo": "node ./.workplace/fix_memo",
     "mode": "node ./.workplace/modechanger"
   },