diff options
author | Chris Evich <1183438+cevich@users.noreply.github.com> | 2022-09-27 13:09:18 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-09-27 13:09:18 -0400 |
commit | cbc7185d1fc30fdb24466ccaaa5680aa10f67dd1 (patch) | |
tree | e61eecaa1d9163cc3d7d0481588a8a8ee1e8c3c5 /test/system/700-play.bats | |
parent | 23a30661ad390e3a52fd99de241baa9e8d179e09 (diff) | |
parent | 0fb95f95d2af7bcc2529f896fec9904b3357b580 (diff) | |
download | podman-cbc7185d1fc30fdb24466ccaaa5680aa10f67dd1.tar.gz podman-cbc7185d1fc30fdb24466ccaaa5680aa10f67dd1.tar.bz2 podman-cbc7185d1fc30fdb24466ccaaa5680aa10f67dd1.zip |
Merge pull request #15896 from edsantiago/dont_install_tools
CI: only make install.tools when needed
Diffstat (limited to 'test/system/700-play.bats')
0 files changed, 0 insertions, 0 deletions