diff options
author | Davide Beatrici <git@davidebeatrici.dev> | 2020-07-17 20:44:43 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-17 20:44:43 +0300 |
commit | 530426961f47dea45fd54c1d872559d9f10d8eb1 (patch) | |
tree | c68c5850e0fed38aca4308ef9fc61f84303be1b0 /.ci/azure-pipelines/build_linux.bash | |
parent | 6a7251951b11389ce1ae6859f4dae1fb9ce6f795 (diff) | |
parent | 920bc7528eb76bf6c1d3d39d1a393c01740f868f (diff) |
Merge PR #4371: CI(azure-pipelines): use correct path for build output
Diffstat (limited to '.ci/azure-pipelines/build_linux.bash')
0 files changed, 0 insertions, 0 deletions