aboutsummaryrefslogtreecommitdiffhomepage
path: root/ci/default.nix
diff options
context:
space:
mode:
Diffstat (limited to 'ci/default.nix')
-rw-r--r--ci/default.nix5
1 files changed, 5 insertions, 0 deletions
diff --git a/ci/default.nix b/ci/default.nix
new file mode 100644
index 0000000..9aecd21
--- /dev/null
+++ b/ci/default.nix
@@ -0,0 +1,5 @@
1{ callPackage, hlint }:
2{
3 pronto = callPackage ./pronto {};
4 inherit hlint;
5}