avoid mapping '.' path

3 jobs for master in 6 minutes and 37 seconds (queued for 5 minutes and 24 seconds)
Status Job ID Name Coverage
  Build
failed #23196
fp
build-coq.8.6.1

00:04:07

passed #23195
fp
build-coq.8.7.2

00:02:22

passed #23194
fp
build-coq.8.8.2

00:02:31

 
Name Stage Failure
failed
build-coq.8.6.1 Build
# upgrade-criteria  -removed,-count[version-lag,solution],-new
# jobs 20
# repositories 2 (http), 1 (version-controlled) (default repo at c96fb78a)
# pinned 0
# current-switch ocaml-base-compiler.4.02.3
[prepare-opam] Processing pins
[prepare-opam] version-pinning coq to 8.6.1
coq is now pinned to version 8.6.1
ERROR: Job failed: exit code 1