diff options
| author |  Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-07-06 22:15:27 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-07-06 22:15:27 +0200 |
| commit | 49a587ec6e6a792bb246dffe16b6fe70bc47897e (patch) | |
| tree | 5c60601195e5f968ea43bf3a60de0e470b7af2b7 /tools | |
| parent | fa8008b476b61da46a7bd6cc80ab4f0204c3b26e (diff) | |
| parent | c2ab1e847670190d5c42d280c4375a73478d191d (diff) | |
Merge PR #8001: Cache the build of the Nix package using Cachix.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions