diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-10-16 14:29:38 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-16 14:29:38 +0200 |
| commit | eb3d7f29befd11c89b7a14407f3a9c9914997f32 (patch) | |
| tree | 240eb742d40fe59cfd18b1a725631ecc0f1ed073 /platform | |
| parent | 88a3db5bff3c5d62aec7e7ade4f6c62bf2d0ec3e (diff) | |
| parent | 935170c6d1c8dd542fbefddc449e7cf163153119 (diff) | |
Merge pull request #42845 from umarcor/ci/no-set-env
ci: do not use set-env
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions