diff options
| author |  Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-07-04 23:30:43 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-07-04 23:30:43 +0200 |
| commit | 90a4afc3742b31fc6ebbbbe4b5383663f65a5788 (patch) | |
| tree | b558e94c25e8f79e51adf82b8d7033daf1d3c618 /tactics | |
| parent | 00b23680d55765d9c681751813ab6e85d41786c5 (diff) | |
| parent | def875bd55053957fb28bc6004576b6ca20dad7a (diff) | |
Merge PR #7973: Add a test build on NixOS to GitLab CI.
Diffstat (limited to 'tactics')
0 files changed, 0 insertions, 0 deletions