use devenv in azure-pipelines.yml

Co-authored-by: Gary Verhaegen <gary.verhaegen@digitalasset.com>
This commit is contained in:
Richard Kapolnai 2020-10-01 16:47:40 +02:00 committed by GitHub
parent 0eaa5188fe
commit 28ab2c70fb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -88,7 +88,11 @@ jobs:
demands: assignment -equals default
steps:
- checkout: self
- bash: cd docs && scripts/check-closing-quotes.sh
- bash: |
set -euo pipefail
ci/dev-env-install.sh
eval $(dev-env/bin/dade-assist)
cd docs && scripts/check-closing-quotes.sh
- template: ci/da-ghc-lib/compile.yml
parameters: