GitHub / coq-community/docker-coq issues and pull requests
#69 - Please update the version of `dune` in the docker images to a version that installs `.glob` files
Issue -
State: open - Opened by JasonGross 10 months ago
#68 - feat: Release coqorg/coq:8.20.0
Pull Request -
State: closed - Opened by erikmd 11 months ago
Labels: release
#67 - PR test to finalize the use of docker-keeper 0.10+
Pull Request -
State: closed - Opened by erikmd about 1 year ago
#66 - feat: Release coqorg/coq:8.20-rc1
Pull Request -
State: closed - Opened by erikmd about 1 year ago
- 24 comments
Labels: release
#65 - feat: pre-release coqorg/coq:8.20-alpha
Pull Request -
State: closed - Opened by erikmd about 1 year ago
- 4 comments
#64 - feat: Release coqorg/coq:8.19.2
Pull Request -
State: closed - Opened by erikmd about 1 year ago
Labels: release
#63 - pending change: Docker-Coq's default umask
Issue -
State: closed - Opened by erikmd over 1 year ago
- 3 comments
Labels: question
#62 - feat: Release coqorg/coq:8.19.0 and sibling images
Pull Request -
State: closed - Opened by erikmd over 1 year ago
- 1 comment
Labels: release
#61 - feat: Release coqorg/coq:8.19+rc1
Pull Request -
State: closed - Opened by erikmd over 1 year ago
Labels: release
#59 - Image for Coq 8.5 (but not 8.4 nor 8.6) seems to have a broken python setup
Issue -
State: open - Opened by JasonGross almost 2 years ago
- 1 comment
Labels: bug
#58 - feat(images.yml): Release 8.18+rc1
Pull Request -
State: closed - Opened by erikmd almost 2 years ago
- 1 comment
#57 - Upgrade to Dune ≥ 3.8.2 (namely: 3.9.1)
Issue -
State: closed - Opened by palmskog about 2 years ago
- 10 comments
#56 - Integrate dune 3.8.1 as soon as possible
Issue -
State: closed - Opened by erikmd about 2 years ago
- 10 comments
Labels: release
#55 - Please rebuild images with latest dune
Issue -
State: closed - Opened by JasonGross over 2 years ago
- 14 comments
#54 - Multi-arch images
Issue -
State: open - Opened by Blaisorblade over 2 years ago
- 3 comments
#53 - images: update coq to 8.16.1
Pull Request -
State: closed - Opened by artagnon over 2 years ago
- 1 comment
#52 - Pin coqide-server now that it is a coq dependency.
Pull Request -
State: closed - Opened by Zimmi48 almost 3 years ago
#51 - How to track tag change?
Issue -
State: open - Opened by liyishuai about 3 years ago
- 2 comments
Labels: question
#50 - feat: Adapt to https://github.com/coq/coq/pull/15560
Pull Request -
State: closed - Opened by erikmd about 3 years ago
- 9 comments
Labels: release
#49 - dev versions of old versions of Coq
Issue -
State: open - Opened by JasonGross about 3 years ago
- 5 comments
Labels: enhancement
#48 - Coq 8.16+rc1
Pull Request -
State: closed - Opened by erikmd about 3 years ago
- 2 comments
Labels: release
#47 - Refactor docker-coq
Pull Request -
State: closed - Opened by erikmd about 3 years ago
- 3 comments
Labels: enhancement, release
#46 - docker pull coqorg/coq:dev fails
Issue -
State: closed - Opened by mattam82 about 3 years ago
- 8 comments
Labels: bug, enhancement
#45 - Tag request: `8.11 ≤ coq ≤ 8.12` without `coq-native`
Issue -
State: closed - Opened by liyishuai about 3 years ago
- 5 comments
Labels: question
#44 - Issues with coq-docker based CI since today
Issue -
State: closed - Opened by MSoegtropIMC over 3 years ago
- 1 comment
Labels: question
#43 - feat: Deploy `coqorg/coq:8.15.0`
Pull Request -
State: closed - Opened by erikmd over 3 years ago
- 3 comments
Labels: release
#42 - Deploy `coqorg/coq:8.15-rc1`
Pull Request -
State: closed - Opened by erikmd over 3 years ago
Labels: release
#41 - Request: Add 8.15.dev image
Issue -
State: closed - Opened by LasseBlaauwbroek over 3 years ago
- 8 comments
Labels: release
#40 - feat: Bump 8.14 = 8.14.0 => 8.14.1
Pull Request -
State: closed - Opened by erikmd over 3 years ago
- 3 comments
Labels: release
#39 - intermediate minor versions?
Issue -
State: closed - Opened by hendriktews over 3 years ago
- 5 comments
Labels: question
#38 - Bump opam to 2.1.0 in all `coqorg/coq:*` images
Issue -
State: closed - Opened by erikmd almost 4 years ago
- 1 comment
Labels: release
#37 - feat: Bump 8.14 = 8.14-rc1 => 8.14.0
Pull Request -
State: closed - Opened by erikmd almost 4 years ago
- 1 comment
Labels: release
#36 - Coq recompilation messes up binary dependencies
Issue -
State: closed - Opened by cmester0 almost 4 years ago
- 7 comments
Labels: question
#35 - Feature wish: coq/platform image
Issue -
State: open - Opened by brandenburg almost 4 years ago
- 6 comments
#34 - feat: Add images for Coq 8.14+rc1
Pull Request -
State: closed - Opened by erikmd almost 4 years ago
- 1 comment
Labels: release
#33 - fix(coqorg/coq:8.7*): coq-serapi is not coinstallable with coq 8.7
Pull Request -
State: closed - Opened by erikmd almost 4 years ago
- 1 comment
Labels: fix
#32 - Feature wish: Add coq-serapi in docker-coq for Alectryon support
Issue -
State: closed - Opened by erikmd about 4 years ago
- 9 comments
Labels: enhancement
#31 - Add coq-serapi & Rebuild `coqorg/coq:*` to benefit from `coqorg/base:*` update
Pull Request -
State: closed - Opened by erikmd almost 4 years ago
Labels: enhancement
#30 - Which default OCaml version for the images
Issue -
State: closed - Opened by clarus almost 4 years ago
- 2 comments
Labels: question, documentation
#29 - Image for 8.14
Issue -
State: closed - Opened by palmskog almost 4 years ago
- 9 comments
Labels: release
#28 - python should be available
Issue -
State: closed - Opened by JasonGross over 4 years ago
- 3 comments
Labels: question
#27 - Composability with other actions
Issue -
State: closed - Opened by JasonGross over 4 years ago
- 1 comment
#26 - Release coqorg/coq:8.13.0 = coqorg/coq:8.13 = coqorg/coq:latest
Pull Request -
State: closed - Opened by erikmd over 4 years ago
Labels: release
#25 - Document which opam repositories are available in Docker images
Issue -
State: closed - Opened by anton-trunov over 4 years ago
- 1 comment
#24 - feat: Bump 8.12 = 8.12.1 => 8.12.2
Pull Request -
State: closed - Opened by erikmd over 4 years ago
Labels: release
#23 - Images for ocaml 4.09 have disappeared
Issue -
State: closed - Opened by LasseBlaauwbroek over 4 years ago
- 8 comments
Labels: question
#22 - fix: Replace 4.07.1-flambda with 4.07.1 for (coq ≥ 8.13)+native images
Pull Request -
State: closed - Opened by erikmd over 4 years ago
- 1 comment
Labels: fix
#21 - fix: Add missing trigger for mathcomp/mathcomp-dev:coq-dev
Pull Request -
State: closed - Opened by erikmd over 4 years ago
Labels: fix
#20 - Disable coq-native in Coq 8.13+
Pull Request -
State: closed - Opened by erikmd over 4 years ago
- 13 comments
Labels: fix
#19 - feat: Bump 8.13 = 8.13-alpha => 8.13-beta1
Pull Request -
State: closed - Opened by erikmd over 4 years ago
Labels: release
#18 - Setup after_deploy from coqorg/coq:dev
Pull Request -
State: closed - Opened by erikmd over 4 years ago
Labels: enhancement
#17 - Build coqorg/coq:8.13 from https://github.com/coq/coq/tree/v8.13
Pull Request -
State: closed - Opened by erikmd over 4 years ago
Labels: release
#16 - Wrong elpi dependency for coq-elpi in coqorg/coq:dev
Issue -
State: closed - Opened by chdoc over 4 years ago
- 7 comments
Labels: question
#15 - Request: Add 8.13.dev image
Issue -
State: closed - Opened by LasseBlaauwbroek over 4 years ago
- 13 comments
Labels: release
#14 - Bump coq 8.12 (8.12.0 => 8.12.1)
Pull Request -
State: closed - Opened by erikmd over 4 years ago
- 1 comment
Labels: release
#12 - Which ocaml versions to ultimately provide in docker-coq?
Issue -
State: closed - Opened by erikmd about 5 years ago
- 13 comments
Labels: question, kind: meta
#11 - feat: Replace 8.12-beta1 with 8.12.0
Pull Request -
State: closed - Opened by erikmd about 5 years ago
- 1 comment
Labels: release
#10 - Images don’t seem to enable flambda
Issue -
State: closed - Opened by Blaisorblade about 5 years ago
- 9 comments
Labels: bug
#9 - README.md: direct Gitlab visitors to GitHub issues
Pull Request -
State: closed - Opened by Blaisorblade about 5 years ago
- 1 comment
Labels: documentation
#8 - feat: Use (/bin/bash --login -o pipefail -c) as default Dockerfile shell
Pull Request -
State: closed - Opened by erikmd about 5 years ago
Labels: enhancement
#7 - feat: Switch to single-switch images
Pull Request -
State: closed - Opened by erikmd about 5 years ago
Labels: enhancement
#6 - dune pinned to 2.4 version in the image.
Issue -
State: closed - Opened by picojulien about 5 years ago
- 3 comments
Labels: duplicate
#5 - Dockerfile for version 8.11.1
Pull Request -
State: closed - Opened by Blaisorblade over 5 years ago
- 2 comments
Labels: release
#4 - Towards one-switch images and docker-coq based GitHub actions
Issue -
State: closed - Opened by erikmd over 5 years ago
- 44 comments
Labels: enhancement, kind: meta
#3 - Distribute Coq 8.11 (etc.) as from the alpha phase
Issue -
State: closed - Opened by erikmd over 5 years ago
- 8 comments
Labels: enhancement
#2 - Coq 8.10.0
Issue -
State: closed - Opened by liyishuai almost 6 years ago
- 6 comments
Labels: release
#1 - New build infrastructure for coqorg/org:dev with metadata labels, badges, and SHA1 pinning
Issue -
State: closed - Opened by erikmd over 6 years ago
- 4 comments
Labels: enhancement