diff options
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/ci.scm | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gnu/ci.scm b/gnu/ci.scm index 9dc530b01e..e024c09ebc 100644 --- a/gnu/ci.scm +++ b/gnu/ci.scm @@ -243,7 +243,11 @@ system.") #:key source commit system #:allow-other-keys) (run-with-store store - (mlet* %store-monad ((source (lower-object source)) + ;; SOURCE can be a lowerable object such as <local-file> + ;; or a file name. Adjust accordingly. + (mlet* %store-monad ((source (if (string? source) + (return source) + (lower-object source))) (instance -> (checkout->channel-instance source #:commit commit))) |