2 files changed, 20 insertions, 1 deletions

diff --git a/modules/private/buildbot/projects/immaeEu/__init__.py b/modules/private/buildbot/projects/immaeEu/__init__.py
index cf64ad9..ce6cdb1 100644
--- a/modules/private/buildbot/projects/immaeEu/__init__.py
+++ b/modules/private/buildbot/projects/immaeEu/__init__.py
@@ -149,7 +149,8 @@ def immae_eu_factory():
 
 def cours_factory():
     path_env = {
-            "PATH": os.environ["BUILDBOT_PATH_Cours"] + ":${PATH}"
+            "PATH": os.environ["BUILDBOT_PATH_Cours"] + ":${PATH}",
+            "CI": "yes"
             }
     factory = util.BuildFactory()
     factory.addStep(steps.Git(logEnviron=False, repourl=E.COURS_GIT_URL,
diff --git a/nix/sources.json b/nix/sources.json
index 09c4455..0680f76 100644
--- a/nix/sources.json
+++ b/nix/sources.json
@@ -29,6 +29,24 @@
         "url": "https://github.com/NixOS/nixpkgs-channels/archive/ae6bdcc53584aaf20211ce1814bea97ece08a248.tar.gz",
         "url_template": "https://github.com/<owner>/<repo>/archive/<rev>.tar.gz"
     },
+    "nixpkgs-buildbot-cours": {
+        "description": "Frozen nixpkgs snapshot for texlive",
+        "revision": "173017.85f820d6e41",
+        "sha256": "0fs390gvz8d3n7v4zj538gf3n1b14sikbf0ijrxgxib5i0704mdb",
+        "type": "tarball",
+        "url": "https://releases.nixos.org/nixos/19.03/nixos-19.03.173017.85f820d6e41/nixexprs.tar.xz",
+        "url_template": "https://releases.nixos.org/nixos/<version>/nixos-<version>.<revision>/nixexprs.tar.xz",
+        "version": "19.03"
+    },
+    "nixpkgs-buildbot-normalesup": {
+        "description": "Frozen nixpkgs snapshot for texlive",
+        "revision": "173017.85f820d6e41",
+        "sha256": "0fs390gvz8d3n7v4zj538gf3n1b14sikbf0ijrxgxib5i0704mdb",
+        "type": "tarball",
+        "url": "https://releases.nixos.org/nixos/19.03/nixos-19.03.173017.85f820d6e41/nixexprs.tar.xz",
+        "url_template": "https://releases.nixos.org/nixos/<version>/nixos-<version>.<revision>/nixexprs.tar.xz",
+        "version": "19.03"
+    },
     "nixpkgs-nixops": {
         "branch": "nixos-unstable",
         "description": "A read-only mirror of NixOS/nixpkgs tracking the released channels. Send issues and PRs to",