From 89d22c3be8499ebd37a7e3e9fd9667c73cd01a8b Mon Sep 17 00:00:00 2001
From: Your Name <you@example.com>
Date: Wed, 6 Mar 2019 10:37:53 +0100
Subject: [PATCH] =?UTF-8?q?gitlab-ci=20fix=E2=80=A6?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 .gitlab-ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7f10fca03..49b58de04 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -4,6 +4,7 @@ before_script:
   - wget https://github.com/ocaml/opam/releases/download/2.0.1/opam-2.0.1-x86_64-linux -O opam-2.0.1-x86_64-linux
   - mkdir ~/opam-bin
   - mv opam-2.0.1-x86_64-linux ~/opam-bin/opam
+  - chmod +x ~/opam-bin/opam
   - export PATH="$HOME/opam-bin/opam${PATH:+:}${PATH:-}"
   - echo "$PATH"
   - ~/opam-bin/opam init