Hi Frédéric, docker pull source-clean is expected to fail. We should probably add a message there that explains that. It says `docker pul ... || true` in the script there.
On Sunday, October 25, 2020 at 1:52:48 PM UTC+1 Frédéric Chapoton wrote: > Build failure comes from not being able to pull something : > > + docker pull source-clean > Error response from daemon: pull access denied for source-clean, > repository does not exist or may require 'docker login': denied: requested > access to the resource is denied > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/6f289a52-6a31-41d5-8bf3-6f0d02b5309cn%40googlegroups.com.
