Gary Verhaegen
1872c668a5
replace DAML Authors with DA in copyright headers ( #5228 )
...
Change requested by Manoj.
CHANGELOG_BEGIN
CHANGELOG_END
2020-03-27 01:26:10 +01:00
Moritz Kiefer
8c14d16718
Disable pdf docs builds on macos ( #4724 )
...
This disables the PDF docs builds on MacOS on CI (they are still built
locally by default) and removes them from the Nix closure by
introducing a separate ci-cached attribute that filters out texlive.
Since we built `nix-build nix -A tools -A cached` on CI, I’ve also
removed all the Tex stuff from tools which only means that it ends up
in PATH which nobody seems to care about.
changelog_begin
changelog_end
2020-02-26 14:52:08 +00:00
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
Florian Klink
1301a004a8
ci/dev-env-push: use "".format() instead of %
2019-04-04 17:47:40 +02:00
Florian Klink
b3fc3d3cb6
ci/dev-env-push: revert f-string usage
...
This might be run with a python3 different from the one provided by
dev-env, and not support f-strings yet.
2019-04-04 17:47:40 +02:00
Florian Klink
2cd3dcb385
Update ci/dev-env-push.py
...
Co-Authored-By: zimbatm <zimbatm@zimbatm.com>
2019-04-04 16:16:40 +02:00
Florian Klink
3ae87ce775
Update ci/dev-env-push.py
...
Co-Authored-By: zimbatm <zimbatm@zimbatm.com>
2019-04-04 16:16:40 +02:00
zimbatm
77c5a4fb4e
ci: restore caching on non-forks
2019-04-04 16:16:40 +02:00
