the next generation of the in-browser educational proof assistant
1
fork

Configure Feed

Select the types of activity you want to include in your feed.

fix action

+4 -8
+1 -6
.github/workflows/node.js.yml
··· 1 1 name: Node.js CI 2 2 3 - on: 4 - push: 5 - // TODO(josh): delete second branch before PR acceptance 6 - branches: ["main", "push-oquznqsqnkqv"] 7 - pull_request: 8 - branches: ["main"] 3 + on: [push, pull_request] 9 4 10 5 jobs: 11 6 build:
+2 -1
package.json
··· 12 12 "res:clean": "rescript clean", 13 13 "res:dev": "rescript -w", 14 14 "res:format": "rescript format -all", 15 - "test": "onchange --initial '{tests,src}/*.mjs' -- pta 'tests/*.mjs'" 15 + "test": "pta 'tests/*.mjs'", 16 + "test-watch": "onchange --initial '{tests,src}/*.mjs' -- pta 'tests/*.mjs'" 16 17 }, 17 18 "dependencies": { 18 19 "@rescript/react": "^0.13.1",
+1 -1
tests/SExpTest.res
··· 19 19 t->Util.testParse("?1(\\1)", Schematic({schematic: 1, allowed: [1]})) 20 20 ) 21 21 t->block("multiple allowed", t => 22 - t->Util.testParse("?1(\\1 \\23 \\4)", Schematic({schematic: 1, allowed: [1, 2, 4]})) 22 + t->Util.testParse("?1(\\1 \\23 \\4)", Schematic({schematic: 1, allowed: [1, 23, 4]})) 23 23 ) 24 24 }) 25 25