From 0b7fb36b96773ed7217d3ae39ee080d5f3b970c3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= Date: Fri, 11 Dec 2020 16:05:35 +0100 Subject: [PATCH] Drone: depext install --- .drone.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.drone.yml b/.drone.yml index ddcb830..baf3011 100644 --- a/.drone.yml +++ b/.drone.yml @@ -7,4 +7,4 @@ steps: commands: - sudo chown -R opam . - git -C /home/opam/opam-repository pull origin && opam update - - opam install -t -y . + - opam depext -i -t .