ci/ci-pr.nix: accept `src` such that we can get access `src.rev`#376

Merged

hansl merged 1 commit intomasterfrom

basvandijk/fix-ci-pr.nix

Feb 17, 2020

Commits on Feb 17, 2020

ci/ci-pr.nix: accept `src` such that we can get access `src.rev`
basvandijk
committed