diff options
| author | Manuel Bärenz <programming@manuelbaerenz.de> | 2021-02-05 14:24:54 +0100 |
|---|---|---|
| committer | Manuel Bärenz <programming@manuelbaerenz.de> | 2021-08-03 13:33:59 +0200 |
| commit | 8c0be16075ff3508c54f14221be6df43561916fa (patch) | |
| tree | 8b4e61ac03d1fc90dbde045140fd48d26937d9b6 /doc/languages-frameworks/agda.section.md | |
| parent | c84b60b2a93b44268d4cdb440457832b729641c9 (diff) | |
| download | nixpkgs-8c0be16075ff3508c54f14221be6df43561916fa.tar nixpkgs-8c0be16075ff3508c54f14221be6df43561916fa.tar.gz nixpkgs-8c0be16075ff3508c54f14221be6df43561916fa.tar.bz2 nixpkgs-8c0be16075ff3508c54f14221be6df43561916fa.tar.lz nixpkgs-8c0be16075ff3508c54f14221be6df43561916fa.tar.xz nixpkgs-8c0be16075ff3508c54f14221be6df43561916fa.tar.zst nixpkgs-8c0be16075ff3508c54f14221be6df43561916fa.zip | |
adga: Add test for all packages
Diffstat (limited to 'doc/languages-frameworks/agda.section.md')
| -rw-r--r-- | doc/languages-frameworks/agda.section.md | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/languages-frameworks/agda.section.md b/doc/languages-frameworks/agda.section.md index def9e1254e4..775a7a1a642 100644 --- a/doc/languages-frameworks/agda.section.md +++ b/doc/languages-frameworks/agda.section.md @@ -235,6 +235,13 @@ In a pull request updating e.g. the standard library, you should write the follo This will build all reverse dependencies of the standard library, for example `agdaPackages.agda-categories`, or `agdaPackages.generic`. +In some cases it is useful to build _all_ Agda packages. +This can be done with the following Github comment: + +``` +@ofborg build agda.passthru.tests.allPackages +``` + Sometimes, the builds of the reverse dependencies fail because they have not yet been updated and released. You should drop the maintainers a quick issue notifying them of the breakage, citing the build error (which you can get from the ofborg logs). |