-
Björn Brandenburg authored
This avoids having to compile ssreflect from scratch each time we want to compile Prosa. Thanks to Pierre Roux (Pierre.Roux@onera.fr) for pointing out the mathcomp Docker images!
25634fbd
Validating GitLab CI configuration…
Learn more