Merge pull request #138 from mirage/fix-ci-windows

test_conv.ml requires /dev/urandom and work only on Unix system
mirage · Jun 3, 2022 · fc510e5 · fc510e5
2 parents 49a9418 + 1f3ddfc
commit fc510e5
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -1,10 +1,10 @@
 name: Cross-platform tests
 
 on:
+  pull_request:
   push:
     branches:
       - 'master'
-      - 'feature-msvc'
 
 jobs:
   test-with-setup-ocaml:

diff --git a/test/conv/dune b/test/conv/dune
@@ -5,5 +5,7 @@
 
 (rule
  (alias runtest)
+ (enabled_if
+  (= ${os_type} "Unix"))
  (action
   (run ./test_conv.exe --color=always)))