search

math-comp / docker-mathcomp

Docker images of coq-mathcomp [maintainer=@erikmd]
https://hub.docker.com/r/mathcomp/mathcomp/#supported-tags
BSD 3-Clause "New" or "Revised" License
6 stars 2 forks source link

Remove the mathcomp/mathcomp:1.14.0-coq-dev image #18

Closed pi8027 closed 2 years ago

pi8027 commented 2 years ago

Its build fails here (fixed in math-comp/math-comp#857): https://github.com/math-comp/math-comp/blob/mathcomp-1.14.0/mathcomp/algebra/rat.v#L541

This failure also prevents us from deploying other images.

erikmd commented 2 years ago

Thanks @pi8027

erikmd commented 2 years ago

@pi8027

This failure also prevents us from deploying other images.

can you be more specific? is the deployment issue you mention related to https://github.com/math-comp/docker-mathcomp or https://github.com/math-comp/math-comp ?