diff options
| author | Anders Leino <aleino@nvidia.com> | 2025-01-08 08:30:18 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-01-07 22:30:18 -0800 |
| commit | 5b9931456f595b0a2163fabb65dceac99e0e220f (patch) | |
| tree | 1329b9bdb3fd77349e6a03dc4d2d1c34251f219b /.github/workflows/ci-examples.sh | |
| parent | c43f6fa55aca23365c86c6ec1737d42be74d9d3e (diff) | |
Add backtraces to examples (#5973)
* examples: Log stack trace on exceptions
For now, this is only implemented on Windows.
This helps to address #5520.
* examples: Print log file if there is any
* format code
---------
Co-authored-by: slangbot <186143334+slangbot@users.noreply.github.com>
Co-authored-by: Yong He <yonghe@outlook.com>
Diffstat (limited to '.github/workflows/ci-examples.sh')
| -rwxr-xr-x | .github/workflows/ci-examples.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.github/workflows/ci-examples.sh b/.github/workflows/ci-examples.sh index 7372d70a7..157f8c304 100755 --- a/.github/workflows/ci-examples.sh +++ b/.github/workflows/ci-examples.sh @@ -170,6 +170,9 @@ function run_sample { pushd "$bin_dir" 1>/dev/null 2>&1 if [[ ! "$dry_run" = true ]]; then ./"$sample" "${args[@]}" || result=$? + if [[ -f ./"log-$sample.txt" ]]; then + cat ./"log-$sample.txt" + fi fi if [[ $result -eq 0 ]]; then summary=("${summary[@]}" " success") |