chore(.docker): remove alpine build, too fragile (#7401)

If this is approved I'll remove the automatic builds of the `alpine` based images over on `hub.docker.com`.



Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

.docker/README.md

@@ -11,9 +11,10 @@ This will result in the creation of two containers:
 * `leanprovercommunity/lean` - contains elan, lean, and leanproject
 * `leanprovercommunity/mathlib` - additionally contains a copy of mathlib, with oleans
 
-In fact, for each container you'll get three different tags, `:debian`, `:alpine` and `:latest`.
-`:debian` and `:alpine` use those respective distributions, and `:latest` just points at `:debian`.
-Finally, there is also a `leanprovercommunity/mathlib:gitpod` for use at
+In fact, for each container you'll get two different tags, `:debian` and `:latest`,
+which are just synonyms.
+(We used to have an `alpine` distribution, but it wasn't robust enough to warrant maintenance.)
+There is also a `leanprovercommunity/mathlib:gitpod` for use at
 [https://gitpod.io/](https://gitpod.io/).
 
 ## Usage

scripts/docker_build.sh

@@ -2,11 +2,7 @@ DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
 
 cd $DIR/../.docker/debian/lean && \
 docker build -t leanprovercommunity/lean:debian -t leanprovercommunity/lean:latest . && \
-cd $DIR/../.docker/alpine/lean && \
-docker build -t leanprovercommunity/lean:alpine . && \
 cd $DIR/../.docker/debian/mathlib && \
 docker build -t leanprovercommunity/mathlib:debian -t leanprovercommunity/mathlib:latest .
-cd $DIR/../.docker/alpine/mathlib && \
-docker build -t leanprovercommunity/mathlib:alpine .
 cd $DIR/../.docker/gitpod/mathlib && \
 docker build -t leanprovercommunity/mathlib:gitpod .

scripts/docker_push.sh

@@ -8,8 +8,6 @@ cd $DIR
 ./docker_build.sh
 docker push leanprovercommunity/lean:latest
 docker push leanprovercommunity/lean:debian
-docker push leanprovercommunity/lean:alpine
 docker push leanprovercommunity/mathlib:latest
 docker push leanprovercommunity/mathlib:debian
-docker push leanprovercommunity/mathlib:alpine
 docker push leanprovercommunity/mathlib:gitpod