external
/
citus
mirror of https://github.com/citusdata/citus.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

narrow down upload path

pull/7154/head
Gokhan Gulbiz 2023-08-17 17:29:30 +03:00
parent 903196c8a2
commit 13ceea3274
No known key found for this signature in database
GPG Key ID: 608EF06B6BD1B45B
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
.github/actions/save_logs_and_results/action.yml vendored
View File

@ -11,8 +11,8 @@ runs:
name: ${{ inputs.folder }}
if-no-files-found: ignore
path: |
**/proxy.output
**/results/
**/tmp_check/master/log
**/tmp_check/worker.57638/log
**/tmp_check/worker.57637/log
${GITHUB_WORKSPACE}/**/proxy.output
${GITHUB_WORKSPACE}/**/results/
${GITHUB_WORKSPACE}/**/tmp_check/master/log
${GITHUB_WORKSPACE}/**/tmp_check/worker.57638/log
${GITHUB_WORKSPACE}/**/tmp_check/worker.57637/log