Only generate tests in CI

katydid · Oct 22, 2024 · dda9e38 · dda9e38
1 parent eb02750
commit dda9e38
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -39,10 +39,10 @@ jobs:
       run: env && go env && pwd
     - name: tree
       run: tree
-    - name: Generate
+    - name: Generate Tests
       run: |
         cd gopath/github.com/katydid/testsuite
-        PATH=$HOME/bin:$PATH make regenerate
+        PATH=$HOME/bin:$PATH make regenerate-tests
     - name: Build
       run: |
         cd gopath/github.com/katydid/testsuite

diff --git a/validator/Makefile b/validator/Makefile
@@ -6,7 +6,7 @@ regenerate:
 regenerate-tests:
 	make nuke-tests
 	(cd gen-validator-tests && make regenerate && go install .)
-	gen-validator-tests
+	gen-validator-tests -seed 12345
 
 nuke-tests:
 	rm -rf ./tests/ || true