diff options
| author | Vincent Ambo <tazjin@google.com> | 2019-12-09T10·58+0000 |
|---|---|---|
| committer | Vincent Ambo <tazjin@google.com> | 2019-12-09T10·58+0000 |
| commit | e9431682b2da6fc5085961e42b654bb8b833b879 (patch) | |
| tree | a5cbac7bffbbc5a777b4a2dd9eb895cf76ac94a3 /tools/bin | |
| parent | a1ac598fa0782e22c9fb9c27719a50e543757f41 (diff) | |
refactor: Move CI setup to separate Nix file r/111
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.
Diffstat (limited to 'tools/bin')
0 files changed, 0 insertions, 0 deletions