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

better wildcard usage

pull/7154/head
Gokhan Gulbiz 2023-08-17 17:37:44 +03:00
parent 13ceea3274
commit f67f468296
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: |
${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
src/test/**/proxy.output
src/test/**/results/
src/test/**/tmp_check/master/log
src/test/**/tmp_check/worker.57638/log
src/test/**/tmp_check/worker.57637/log