diff options
| author | jwijenbergh <jeroenwijenbergh@protonmail.com> | 2023-01-05 13:52:54 +0100 |
|---|---|---|
| committer | jwijenbergh <jeroenwijenbergh@protonmail.com> | 2023-01-05 13:52:54 +0100 |
| commit | 62749ba74fd82a86a30f2e65b8830724a8e6f445 (patch) | |
| tree | 56d7ebe5896c150debeb8e2b4c1b7455992ddf59 /.github | |
| parent | 83f9bc5e1314c32422d4030763853e76fd56290c (diff) | |
CI: Support overriding docker-compose with podman-compose
Useful if symlinking is not an option due to having docker-compose and
podman-compose installed. You can change $PATH just for this repo but
that's messy.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions