Skip to content
docker

docker #130

Sign in to view logs

docker

docker #130

Triggered via schedule October 20, 2025 01:38
@Ruben-VandeVeldeRuben-VandeVelde
⁠ 8b2141b
master
Status Success
Total duration 4m 39s
Artifacts 3

docker_build.yml

on: schedule
Matrix: build-and-push-docker-images
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
Ruben-VandeVelde~mathlib4~JLT52Y.dockerbuild
45 KB
sha256:8a5c995f60b1acbbf136a589d93ba3b903cf073d3b06f24e679dc1588286b3a9
Ruben-VandeVelde~mathlib4~NS0RAI.dockerbuild
26.7 KB
sha256:00d632dd5c2b2afd9b4bd0b841953f4b78381e569e1e774913d1a4aa6a9ef686
Ruben-VandeVelde~mathlib4~WEEC63.dockerbuild
87.3 KB
sha256:1e414961e150dfcea91e8482e77dfc0b3306d3415e9f951a61becb003b6042b0