math-comp/docker-mathcomp issues and pull requests

#32 - Add Mathcomp 2.2.0

Pull Request - State: closed - Opened by proux01 11 months ago - 8 comments

#31 - New 1.19.0 release

Pull Request - State: closed - Opened by proux01 11 months ago - 7 comments

#31 - New 1.19.0 release

Pull Request - State: closed - Opened by proux01 11 months ago - 7 comments

#30 - 1.18.0 images

Pull Request - State: closed - Opened by pi8027 about 1 year ago - 1 comment

#30 - 1.18.0 images

Pull Request - State: closed - Opened by pi8027 about 1 year ago - 1 comment

#29 - coq-dev docker images seem broken

Issue - State: closed - Opened by JasonGross about 1 year ago - 3 comments
Labels: bug

#29 - coq-dev docker images seem broken

Issue - State: closed - Opened by JasonGross about 1 year ago - 3 comments
Labels: bug

#28 - New release 2.1.0

Pull Request - State: closed - Opened by proux01 about 1 year ago

#28 - New release 2.1.0

Pull Request - State: closed - Opened by proux01 about 1 year ago

#27 - Add -native packages

Issue - State: open - Opened by JasonGross about 1 year ago

#27 - Add -native packages

Issue - State: open - Opened by JasonGross about 1 year ago

#26 - feat(images.yml): Deploy mathcomp/mathcomp stable images for coq.dev

Pull Request - State: closed - Opened by erikmd over 1 year ago

#26 - feat(images.yml): Deploy mathcomp/mathcomp stable images for coq.dev

Pull Request - State: closed - Opened by erikmd over 1 year ago

#25 - Add mathcomp-2.0.0

Pull Request - State: closed - Opened by proux01 over 1 year ago - 10 comments

#25 - Add mathcomp-2.0.0

Pull Request - State: closed - Opened by proux01 over 1 year ago - 10 comments

#24 - New release

Pull Request - State: closed - Opened by affeldt-aist over 1 year ago - 7 comments

#24 - New release

Pull Request - State: closed - Opened by affeldt-aist over 1 year ago - 7 comments

#23 - New release

Pull Request - State: closed - Opened by affeldt-aist almost 2 years ago - 7 comments

#23 - New release

Pull Request - State: closed - Opened by affeldt-aist almost 2 years ago - 7 comments

#22 - Add additional utility packages to most MathComp Docker images

Issue - State: open - Opened by palmskog about 2 years ago - 3 comments

#22 - Add additional utility packages to most MathComp Docker images

Issue - State: open - Opened by palmskog about 2 years ago - 3 comments

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

Pull Request - State: closed - Opened by erikmd over 2 years ago

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

Pull Request - State: closed - Opened by erikmd over 2 years ago

#20 - feat: Propagate PR coq-community/docker-coq#47

Pull Request - State: closed - Opened by erikmd over 2 years ago
Labels: enhancement

#19 - mathcomp-dev image failures due to opam version mismatch

Issue - State: closed - Opened by palmskog over 2 years ago - 8 comments
Labels: bug

#19 - mathcomp-dev image failures due to opam version mismatch

Issue - State: closed - Opened by palmskog over 2 years ago - 8 comments
Labels: bug

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

Pull Request - State: closed - Opened by pi8027 over 2 years ago - 2 comments

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

Pull Request - State: closed - Opened by pi8027 over 2 years ago - 2 comments

#17 - HB on mathcomp-dev/coq-dev docker image

Issue - State: closed - Opened by chdoc over 2 years ago - 2 comments

#17 - HB on mathcomp-dev/coq-dev docker image

Issue - State: closed - Opened by chdoc over 2 years ago - 2 comments

#16 - Release MC 1.14.0

Pull Request - State: closed - Opened by gares almost 3 years ago

#16 - Release MC 1.14.0

Pull Request - State: closed - Opened by gares almost 3 years ago

#15 - feat: Deploy `mathcomp/mathcomp:latest-coq-8.15`

Pull Request - State: closed - Opened by erikmd almost 3 years ago - 2 comments

#15 - feat: Deploy `mathcomp/mathcomp:latest-coq-8.15`

Pull Request - State: closed - Opened by erikmd almost 3 years ago - 2 comments

#14 - fix: Workaround #12

Pull Request - State: closed - Opened by erikmd almost 3 years ago

#14 - fix: Workaround #12

Pull Request - State: closed - Opened by erikmd almost 3 years ago

#13 - New release 1.13

Pull Request - State: closed - Opened by CohenCyril about 3 years ago - 3 comments

#13 - New release 1.13

Pull Request - State: closed - Opened by CohenCyril about 3 years ago - 3 comments

#12 - Request to bump OCaml version to >= 4.07.0

Issue - State: closed - Opened by pi8027 about 3 years ago - 6 comments
Labels: enhancement

#12 - Request to bump OCaml version to >= 4.07.0

Issue - State: closed - Opened by pi8027 about 3 years ago - 6 comments
Labels: enhancement

#11 - Build mathcomp/mathcomp:latest-coq-dev

Pull Request - State: closed - Opened by erikmd almost 4 years ago

#11 - Build mathcomp/mathcomp:latest-coq-dev

Pull Request - State: closed - Opened by erikmd almost 4 years ago

#10 - Add mathcomp/mathcomp:1.12.0-coq-8.13

Pull Request - State: closed - Opened by erikmd almost 4 years ago

#10 - Add mathcomp/mathcomp:1.12.0-coq-8.13

Pull Request - State: closed - Opened by erikmd almost 4 years ago

#9 - New release prepraration

Pull Request - State: closed - Opened by CohenCyril about 4 years ago

#9 - New release prepraration

Pull Request - State: closed - Opened by CohenCyril about 4 years ago

#8 - Remove mathcomp/mathcomp:latest-coq-dev (for 1.11.0)

Pull Request - State: closed - Opened by erikmd over 4 years ago

#7 - feat: Use (/bin/bash --login -o pipefail -c) as default Dockerfile shell

Pull Request - State: open - Opened by erikmd over 4 years ago
Labels: enhancement

#6 - feat: Switch to single-switch coq images

Pull Request - State: closed - Opened by erikmd over 4 years ago - 1 comment
Labels: enhancement

#5 - please give the core team push rights

Issue - State: closed - Opened by gares almost 5 years ago - 1 comment

#4 - Block update of librairies

Issue - State: closed - Opened by thery over 5 years ago - 5 comments

GitHub / math-comp/docker-mathcomp issues and pull requests