Closed erikmd closed 2 years ago
@erikmd thanks! Is it also planned to have a mathcomp/mathcomp-dev:coq-8.15
?
Hi @proux01 :) good question → actually this image will automatically be pushed when the GitLab-CI pipeline of this PR is over:
Here is the direct link to the corresponding CI/CD job if one wants to track this time: