debug

GaloisInc · Apr 30, 2021 · aef7e65 · aef7e65
1 parent 4a46412
commit aef7e65
Showing 1 changed file with 29 additions and 25 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -91,49 +91,53 @@ 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
           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
+          cat $stdout
           ./bin/test-runner --ext=.icry -r ./output --exe=bash -F $stdout ./tests || true
-          cat ./lol
+          ./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"