diff options
| author | Jakub Beránek <berykubik@gmail.com> | 2025-03-17 21:48:39 +0100 |
|---|---|---|
| committer | Jakub Beránek <berykubik@gmail.com> | 2025-03-17 21:48:39 +0100 |
| commit | c9d314773e3ece5e2ecbca5ac6ddf9184dbfafc3 (patch) | |
| tree | 0d04e4db283f0b0e7dfd79a3c63b819cab83007a /.github | |
| parent | 4801dba9af6e6c1b3bb06959893f68ed031f6325 (diff) | |
| download | rust-c9d314773e3ece5e2ecbca5ac6ddf9184dbfafc3.tar.gz rust-c9d314773e3ece5e2ecbca5ac6ddf9184dbfafc3.zip | |
Small review improvements
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index aaae67c28bc..25397006ee2 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -244,9 +244,9 @@ jobs: continue-on-error: true run: | if [ -f build/metrics.json ]; then - METRICS=build/metrics.json + METRICS=build/metrics.json elif [ -f obj/build/metrics.json ]; then - METRICS=obj/build/metrics.json + METRICS=obj/build/metrics.json else echo "No metrics.json found" exit 0 |