diff --git a/.github/workflows/deploy_branches.yml b/.github/workflows/deploy_branches.yml index 70b4cef0de..09ea68450b 100644 --- a/.github/workflows/deploy_branches.yml +++ b/.github/workflows/deploy_branches.yml @@ -30,26 +30,6 @@ jobs: run: | opam exec -- dune build @src/fmt --auto-promote src --profile release working-directory: ./source - - name: Run Tests - id: test - continue-on-error: true - run: | - make test > test_output - if [ $? -eq 0 ]; then - echo "::set-output name=tests_passed::true" - else - echo "::set-output name=tests_passed::false" - fi - working-directory: ./source - - name: Test Report - uses: dorny/test-reporter@v1 - continue-on-error: true - with: - name: Test Report - path: junit_tests*.xml - reporter: java-junit - fail-on-error: true - working-directory: ./source - name: Checkout the website build artifacts repo uses: actions/checkout@v2 with: