diff --git a/ci/ci-pr.nix b/ci/ci-pr.nix
index 69e765b8fe..814f0628d9 100644
--- a/ci/ci-pr.nix
+++ b/ci/ci-pr.nix
@@ -1,4 +1,4 @@
 # This file is used to govern CI jobs for GitHub PRs
 
-args@{ supportedSystems ? [ "x86_64-linux" "x86_64-darwin" ], ... }:
-import ./ci.nix (args // { inherit supportedSystems; isMaster = false; })
+args@{ supportedSystems ? [ "x86_64-linux" "x86_64-darwin" ], src ? null, ... }:
+import ./ci.nix (args // { inherit supportedSystems src; isMaster = false; })