tox.ini / tox.yml: Move code for tagging/pushing docker images into tox.ini

[mkoeppe]

Currently, there are reliability issues on GitHub Actions, builds time out or die for no apparent reason, and then no docker images are pushed.

We integrate this code into tox.ini so that the pushing happens after each of the steps defined by DOCKER_TARGETS.

Then one can pull an intermediate image and continue some tests locally.

CC: @kliem @dimpase

Component: porting

Author: Matthias Koeppe

Branch/Commit: 231b812

Reviewer: Jonathan Kliem

Issue created by migration from https://trac.sagemath.org/ticket/30144

[mkoeppe]

Branch: u/mkoeppe/tox_ini___tox_yml__move_code_for_tagging_pushing_docker_images_into_tox_ini

[mkoeppe]

Reviewer: github.com/mkoeppe/sage/actions/runs/206174675, ...

[mkoeppe]

New commits:

cf25b83	Move code for tagging/pushing docker images into tox.ini
51c6cde	fixup
231b812	.github-workflows/tox-*.yml: Update similarly

[mkoeppe]

Author: Matthias Koeppe

[mkoeppe]

Description changed:

--- 
+++ 
@@ -1,5 +1,7 @@
-Currently, some builds on [GitHub](../wiki/GitHub) Actions time out and then no docker images are pushed. 
+Currently, there are reliability issues on [GitHub](../wiki/GitHub) Actions, builds time out or die for no apparent reason, and then no docker images are pushed. 
 
 We integrate this code into `tox.ini` so that the pushing happens after each of the steps defined by `DOCKER_TARGETS`.
 
+Then one can pull an intermediate image and continue some tests locally.
 
+

[mkoeppe]

Commit: 231b812

[mkoeppe]

Changed reviewer from github.com/mkoeppe/sage/actions/runs/206174675, ... to https://github.com/mkoeppe/sage/actions/runs/206465268

[mkoeppe]

comment:4

This seems to work well (see for example https://github.com/mkoeppe/sage/runs/978681914); needs review

[mkoeppe]

Changed reviewer from https://github.com/mkoeppe/sage/actions/runs/206465268 to https://github.com/mkoeppe/sage/actions/runs/206465268, ...

[mkoeppe]

comment:6

Let's get this in please.

[kliem]

comment:7

Is this to worry about?

 WARNING! Your password will be stored unencrypted in /home/runner/.docker/config.json.
Configure a credential helper to remove this warning. See
https://docs.docker.com/engine/reference/commandline/login/#credentials-store

Otherwise looks fine.

[mkoeppe]

comment:8

This warning is not new, it used to appear in the "push docker images step".

The "password" here is a token specifically created for the GitHub packages repository. I don't have a major concern about storing it in cleartext.

See also docker/build-push-action#53, where the same issue is open for Docker's official actions.

[kliem]

comment:9

I figured it was something like this. Just wanted to make sure.

[kliem]

Changed reviewer from https://github.com/mkoeppe/sage/actions/runs/206465268, ... to Jonathan Kliem