From 7eed015c09b90d03c00802c04afe0afbab795693 Mon Sep 17 00:00:00 2001
From: Lisanna Dettwyler <lisanna@galois.com>
Date: Wed, 28 Apr 2021 14:20:17 -0700
Subject: [PATCH] debug

---
 .github/workflows/ci.yml | 57 ++++++++++++++++++++++------------------
 1 file changed, 31 insertions(+), 26 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 4e579bcb9..b0869b834 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -91,49 +91,54 @@ jobs:
       - shell: bash
         run: .github/ci.sh install_system_deps
 
-      - shell: bash
-        env:
-          RELEASE: ${{ needs.config.outputs.release }}
-        run: .github/ci.sh build
-
-      - shell: bash
-        run: .github/ci.sh setup_dist_bins
-
-      - shell: bash
-        run: .github/ci.sh check_docs
-        if: runner.os != 'Windows'
-
-      - if: runner.os == 'Linux'
-        uses: docker://pandoc/latex:2.9.2
-        with:
-          args: >-
-            sh -c
-            "
-            apk add make &&
-            tlmgr install subfigure lastpage preprint adjustbox nag collectbox sectsty todonotes palatino mathpazo &&
-            cd docs &&
-            make
-            "
+      # - shell: bash
+      #   env:
+      #     RELEASE: ${{ needs.config.outputs.release }}
+      #   run: .github/ci.sh build
+
+      # - shell: bash
+      #   run: .github/ci.sh setup_dist_bins
+
+      # - shell: bash
+      #   run: .github/ci.sh check_docs
+      #   if: runner.os != 'Windows'
+
+      # - if: runner.os == 'Linux'
+      #   uses: docker://pandoc/latex:2.9.2
+      #   with:
+      #     args: >-
+      #       sh -c
+      #       "
+      #       apk add make &&
+      #       tlmgr install subfigure lastpage preprint adjustbox nag collectbox sectsty todonotes palatino mathpazo &&
+      #       cd docs &&
+      #       make
+      #       "
 
       - shell: bash
+        continue-on-error: true
         name: Partition test-lib tests
         id: test-lib
         run: |
           set -x
           cabal v2-install --install-method=copy --installdir="./bin" test-lib
           stdout=$(mktemp)
+          lol=$(mktemp)
           cat > $stdout << EndOfScript
+          file=
           if ${{ runner.os == 'Windows' }}; then
               file="\$(cygpath -u "\$1").stdout"
           else
               file="\$1.stdout"
           fi
-          echo "\$file" >> $PWD/lol
+          echo "\$file" >> $lol
           cat "\$file"
           EndOfScript
           ${{ runner.os == 'Windows' }} || chmod +x $stdout
-          ./bin/test-runner --ext=.icry -r ./output --exe=bash -F $stdout ./tests || true
-          cat ./lol
+          cat $stdout
+          ./bin/test-runner --ext=.icry -r ./output --exe=bash -F $stdout -F -- ./tests || true
+          # ./bin/test-runner --ext=.icry -r ./output --exe=cat ./tests || true
+          cat "$lol"
           TARGETS_JSON=$(echo -n "$(ls -1 ./output/tests)" | jq -Rsc 'split("\n")')
           echo "::set-output name=targets-json::$TARGETS_JSON"