No description
e9431682b2
Instead of polluting the repository namespace with the list of CI projects, move that to a separate file. Currently the list of projects to be built by CI is still hardcoded, but this will be fixed soon. |
||
---|---|---|
external | ||
infra | ||
overrides | ||
secrets | ||
services | ||
third_party | ||
tools | ||
.envrc | ||
.gitignore | ||
.travis.yml | ||
ci-builds.nix | ||
default.nix | ||
LICENSE | ||
read-tree.nix | ||
README.md |