Skip to content

Commit 5125827

Browse files
committed
CI: test tsan
1 parent 15be38c commit 5125827

File tree

1 file changed

+1
-4
lines changed
  • lib_test/concurrency

1 file changed

+1
-4
lines changed

lib_test/concurrency/dune

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -4,10 +4,7 @@
44
(>= %{ocaml_version} 5.0))
55
(action
66
(pipe-outputs
7-
(setenv
8-
TSAN_OPTIONS
9-
suppressions=suppress.txt
10-
(run %{test}))
7+
(run %{test})
118
(run cat)))
129
(deps suppress.txt)
1310
(libraries re))

0 commit comments

Comments
 (0)