Gary Verhaegen
878429e3bf
update copyright notices to 2020 ( #3939 )
...
copyright update 2020
* update template
* run script: `dade-copyright-headers update .`
* update script
* manual adjustments
* exclude frozen proto files from further header checks (by adding NO_AUTO_COPYRIGHT files)
2020-01-02 21:21:13 +01:00
Gary Verhaegen
99ea93168d
update copyright notices ( #2499 )
2019-08-13 17:23:03 +01:00
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