diff options
| author | coqbot-app[bot] | 2020-09-28 14:38:57 +0000 |
|---|---|---|
| committer | GitHub | 2020-09-28 14:38:57 +0000 |
| commit | bd24f72a06343b375ad20aaa5b7296c2ad904a5c (patch) | |
| tree | 0aefe90fa9925755b7eecb9c63b693c772f1a523 | |
| parent | b9f385cb43de4c463e649f8f6e33f32288e88a6c (diff) | |
| parent | 424ae427197126a2fcbd5f07eaa181fb6f81ad84 (diff) | |
Merge PR #13105: [nix] CI script wrapper now requires Python
Reviewed-by: vbgl
| -rw-r--r-- | dev/ci/nix/default.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dev/ci/nix/default.nix b/dev/ci/nix/default.nix index 741cb89eed..7863af842a 100644 --- a/dev/ci/nix/default.nix +++ b/dev/ci/nix/default.nix @@ -131,7 +131,8 @@ stdenv.mkDerivation { name = "shell-for-${project}-in-${branch}"; buildInputs = - optional withCoq coq + [ python ] + ++ optional withCoq coq ++ (prj.buildInputs or []) ++ optionals withCoq (prj.coqBuildInputs or []) ; |