feat: Deploy `mathcomp/mathcomp:1.15.0-coq-*` (#21)

5 jobs for master in 18 minutes and 21 seconds
Child pipeline (parent)