Run io-cli-tests.md only on windows

.github/workflows/main.yml

@@ -10,7 +10,7 @@ on:
   push:
     branches:
       - main
-    
+
 name: build
 
 jobs:
@@ -24,7 +24,7 @@ jobs:
       - uses: actions/checkout@v2
       - uses: actions/setup-node@v2
         with:
-          node-version: '17'  
+          node-version: "17"
       - run: cd ./tntc && npm install
       - run: cd ./tntc && npm run compile
       - run: cd ./tntc && npm test
@@ -39,19 +39,24 @@ jobs:
       - uses: actions/checkout@v2
       - uses: actions/setup-node@v2
         with:
-          node-version: '17'  
+          node-version: "17"
       - run: npm install -g txm
       - run: cd ./tntc && npm install
       - run: cd ./tntc && npm run compile && npm link
-      - run: cd ./tntc && txm cli-tests.md
+      - name: Blackbox integration tests
+        run: cd ./tntc && txm cli-tests.md
+      - name: Blackbox integration tests with I/O
+        # This tests fail on windows currently
+        # See https://github.com/anko/txm/issues/10
+        run: cd ./tntc && txm io-cli-tests.md
+        if: matrix.operating-system != 'windows-latest'
 
   tntc-antlr-grammar:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v2
       - uses: actions/setup-node@v2
         with:
-          node-version: '17'  
+          node-version: "17"
       - run: cd ./tntc && npm install
       - run: cd ./tntc && npm run antlr
-