Michał Majcherski 79bbf5c794 windows: working //:git-revision target (#434)		2019-04-12 13:25:31 +02:00
..
build-unix.yml	push releases to github (#413)	2019-04-12 11:30:13 +01:00
build-windows.yml	Windows CI (#364)	2019-04-11 14:26:55 +02:00
configure-bazel.sh	windows: working //:git-revision target (#434)	2019-04-12 13:25:31 +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