From bbec40b5aed2cd70c95ad7b11bf264b6d283885e Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Wed, 17 Mar 2021 03:38:59 +0100
Subject: up

---
 default.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'default.nix')

diff --git a/default.nix b/default.nix
index a588f43..dbc0c1b 100644
--- a/default.nix
+++ b/default.nix
@@ -1,7 +1,7 @@
 { config ? {}, withEmacs ? false, print-env ? false, do-nothing ? false,
-  update-nixpkgs ? false, ci-matrix ? false, ci-job ? null,
+  update-nixpkgs ? false, ci-matrix ? false,
   override ? {}, ocaml-override ? {}, global-override ? {},
-  ci ? (!isNull ci-job), inNixShell ? null, src ? ./.,
+  task ? null, job ? null, inNixShell ? null, src ? ./.,
 }@args:
 let auto = fetchGit {
   url = "https://github.com/coq-community/coq-nix-toolbox.git";
-- 
cgit v1.2.3