Skip to content
Build Docker images and push to DockerHub

Build Docker images and push to DockerHub #29

Sign in to view logs

Build Docker images and push to DockerHub

Build Docker images and push to DockerHub #29

Manually triggered August 8, 2023 10:32
@soehmssoehms
⁠ 478c0ef
workflow_docker_hub
Status Success
Total duration 3h 36m 35s
Artifacts –

push_to_docker_hub.yml

on: workflow_dispatch
Build Docker image on target make-build and push to DockerHub sagemath-dev
2h 54m
Build Docker image on target make-build and push to DockerHub sagemath-dev
Build Docker image on target sagemath and push to DockerHub sagemath
41m 43s
Build Docker image on target sagemath and push to DockerHub sagemath
Fit to window
Zoom out
Zoom in