Skip to content

Commit ce6489c

Browse files
butterunderflowbutterunderflow
committed
test staged concolic compilation in CI
1 parent 77a4e6f commit ce6489c

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

‎.github/workflows/scala.yml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -79,3 +79,4 @@ jobs:
7979
sbt 'testOnly gensym.wasm.TestConcolic'
8080
sbt 'testOnly gensym.wasm.TestDriver'
8181
sbt 'testOnly gensym.wasm.TestStagedEval'
82+
sbt 'testOnly gensym.wasm.TestStagedConcolicEval'

0 commit comments

Comments
 (0)