Skip to content

Commit a67b890

Browse files
committed
DEVTOOL: disable odoc tests
These don't really make too much sense at the moment and will have to be reviewed later. Signed-off-by: Ali Caglayan <[email protected]>
1 parent 781acc8 commit a67b890

File tree

1 file changed

+0
-1
lines changed
  • test/blackbox-tests/test-cases/pkg/odoc

1 file changed

+0
-1
lines changed

test/blackbox-tests/test-cases/pkg/odoc/dune

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,5 +5,4 @@
55
;; issues with dev tool lock dirs in source
66

77
(cram
8-
(applies_to dev-tool-odoc-no-lock-dir)
98
(enabled_if false))

0 commit comments

Comments
 (0)