diff options
author | Devan Carpenter <git@dvn.me> | 2021-01-08 18:31:10 +0100 |
---|---|---|
committer | Devan Carpenter <git@dvn.me> | 2021-01-08 18:31:10 +0100 |
commit | 524db9c3949bf6648c1881ebd1e5bea5c320e856 (patch) | |
tree | 99b482834206602b357a95885f96b7fdc5641984 /ngi-pointer.png | |
parent | cb4d0e13ac3238a8cf9523958eb74a7a6bb70561 (diff) | |
download | dream.public.cat-524db9c3949bf6648c1881ebd1e5bea5c320e856.tar.gz |
CI: use a docker image which already contains curl
It's a waste of resources to download/install curl for each job. Let's
use the "official" curl image instead.
Diffstat (limited to 'ngi-pointer.png')
0 files changed, 0 insertions, 0 deletions