Michał Majcherski 08bd36a10c Windows CI (#364) ... * ci: remove the old Jenkins files * WORKSPACE: remove unuset this_breaks_windows * ci: add Windows builds to Azure Pipeline		2019-04-11 14:26:55 +02:00
..
build-unix.yml	Windows CI (#364)	2019-04-11 14:26:55 +02:00
build-windows.yml	Windows CI (#364)	2019-04-11 14:26:55 +02:00
configure-bazel.sh	Windows CI (#364)	2019-04-11 14:26:55 +02:00
dev-env-install.sh	add more Azure Pipeline agents (#230)	2019-04-09 18:59:37 +02:00
dev-env-push.py	ci/dev-env-push: use "".format() instead of %	2019-04-04 17:47:40 +02:00
release.sh	open-sourcing daml	2019-04-04 09:33:38 +01:00