aboutsummaryrefslogtreecommitdiff
path: root/dev/ci/nix/shell
diff options
context:
space:
mode:
authorVincent Laporte2018-12-03 15:31:52 +0000
committerVincent Laporte2019-01-24 14:53:08 +0000
commit43525f9ee12a40bf3ad2c2521832fd7fc3a658f8 (patch)
tree65e7c08a01676f04c9107dc85f89b60f2ef34534 /dev/ci/nix/shell
parent736a425208ef526412a961e97e157b44eea050c5 (diff)
[Nix-ci] Add QuickChick
Diffstat (limited to 'dev/ci/nix/shell')
0 files changed, 0 insertions, 0 deletions