5 Commits

Author	SHA1	Message	Date
Gary Verhaegen	36070476c3	collect historical download data (#2003)	2019-07-04 11:23:51 +00:00
Gary Verhaegen	31171ec6b6	terraform files for hoogle server (#1660)	2019-06-22 00:15:52 +00:00
Florian Klink	56c322c982	infra: add some docs / comments (#796) ... * infra: document google_storage_bucket_iam_member resources * infra: document nix-cache-info file * infra: document who's maintaining the DA ext certificate * infra: README: mention azure pipeline agents * infra: README: IT -> DA IT	2019-05-01 15:54:09 +00:00
zimbatm	430a85649c	add more Azure Pipeline agents (#230) ... * nix: add the more providers to terraform * docs: make tarballs more reproducible * ci: use the linux-pool pool * ci: tweak the nix installation handle the case where the user is root and on ubuntu * infra: terraform fmt * infra: add Azure Pipeline agents * ci: only enable linux-pool for internal PRs	2019-04-09 18:59:37 +02:00
Digital Asset GmbH	05e691f558	open-sourcing daml	2019-04-04 09:33:38 +01:00