Jonas Zohren adb518fa0d CI: Use curl instead of wget ...

The rust docker image already comes with curl, no need to install wget.

2021-12-14 11:16:40 +01:00

12 KiB

Raw Blame History

View Raw