Change usage of which
to command -v
#2913
+2
−2
Merged
Cirrus CI / main
succeeded
Dec 27, 2023 in 8m 19s
Task Summary
Task successfully finished!
Details
✅ 00:09 clone
✅ 01:15 install
✅ 06:39 build
✅ 00:08 log
✅ 00:04 test
Loading