minor fixes

pull/7154/head
Gokhan Gulbiz 2023-08-17 17:22:54 +03:00
parent 136382472a
commit 903196c8a2
No known key found for this signature in database
GPG Key ID: 608EF06B6BD1B45B
2 changed files with 1 additions and 2 deletions

View File

@ -11,7 +11,6 @@ runs:
if [ -f "src/test/regress/regression.diffs" ]; then
echo "### ${{ inputs.folder }}" >> $GITHUB_STEP_SUMMARY
cat src/test/regress/regression.diffs >> $GITHUB_STEP_SUMMARY
exit 1
fi
shell: bash
- uses: actions/upload-artifact@v3.1.1

View File

@ -191,7 +191,7 @@ jobs:
- uses: "./.github/actions/enable_core"
- name: Run Test
run: gosu circleci make -C src/test/${{ matrix.suite }} ${{ matrix.make }}
timeout-minutes: 2
timeout-minutes: 20
- uses: "./.github/actions/save_logs_and_results"
if: always()
with: