-
-
Notifications
You must be signed in to change notification settings - Fork 14.3k
No labels!
There aren’t any labels for this repository quite yet.
191 labels
6.topic: accessibility
6.topic: accessibility
Make things in Nixpkgs usable by as many people of varying ability as possible
6.topic: agda
6.topic: agda
"A dependently typed programming language / interactive theorem prover"
6.topic: bootstrap
6.topic: bootstrap
Bootstrapping, avoiding pre-built binaries. Often overlaps with cross-compilation.
6.topic: closure size
6.topic: closure size
The final size of a derivation, including its dependencies
6.topic: continuous integration
6.topic: continuous integration
Affects continuous integration (CI) in Nixpkgs, including Ofborg and GitHub Actions
6.topic: cross-compilation
6.topic: cross-compilation
Building packages on a different platform than they will be used on
6.topic: documentation
6.topic: documentation
Meta-discussion about documentation and its workflow