[CI] Always upload artifacts
[CI] Always upload artifacts

In order to support the workflow where coqbot automatically turns
failing CI jobs into minimized examples for the test-suite easily
(https://github.com/coq/bot/issues/107), we want to be able to get all
of the .v files and all of the generated .vo and .glob files in the
artifact, even when the build fails.

SkySkimmer/coq,Zimmi48/coq,gares/coq,SkySkimmer/coq,ejgallego/coq,ejgallego/coq,ejgallego/coq,gares/coq,SkySkimmer/coq,Zimmi48/coq,gares/coq,Zimmi48/coq,Zimmi48/coq,gares/coq,coq/coq,JasonGross/coq,JasonGross/coq,JasonGross/coq,silene/coq,JasonGross/coq,SkySkimmer/coq,coq/coq,silene/coq,coq/coq,gares/coq,silene/coq,ejgallego/coq,coq/coq