Skip to content

Commit ae5ad69

Browse files
committed
REMOVE ME: focus on src/domain/stm_tests_dsl_dls.exe
1 parent ef4b42d commit ae5ad69

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

dune

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -22,8 +22,8 @@
2222
(name ci)
2323
(package multicoretests)
2424
(deps
25-
(alias_rec %{env:DUNE_CI_ALIAS=runtest})))
26-
; (alias_rec focusedtest)))
25+
; (alias_rec %{env:DUNE_CI_ALIAS=runtest})))
26+
(alias_rec focusedtest)))
2727

2828
(alias
2929
(name ci1)
@@ -64,7 +64,7 @@
6464

6565
; To change the test to repeat, change the source of the `copy`:
6666
(rule
67-
(copy src/io/lin_tests_dsl_domain.exe focusedtest.exe))
67+
(copy src/domain/stm_tests_dsl_dls.exe focusedtest.exe))
6868

6969
(rule
7070
(alias focusedtest)

0 commit comments

Comments
 (0)