path: root/dev/ci/azure-build.sh

#!/bin/bash

set -e -x

cd $(dirname $0)/../..

eval $(opam env)
dune build coq.install coqide-server.install