Skip to content
Docker image

Use mpi-extensions main Open MPI in CI #87

Sign in to view logs

Use mpi-extensions main Open MPI in CI

Use mpi-extensions main Open MPI in CI #87

Triggered via pull request June 16, 2026 16:09
@allnesallnes
synchronize #834
allnes:codex/use-mpi-extensions-nightly-openmpi
Status Success
Total duration 8m 41s
Artifacts 1

docker.yml

on: pull_request
Build & Push Docker Image
8m 30s
Build & Push Docker Image
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Build & Push Docker Image
Failed to save: Unable to reserve cache with key docker.io--tonistiigi--binfmt-latest-linux-x64, another job may be creating this cache.

Artifacts

Produced during runtime
Name Size Digest
learning-process~parallel_programming_course~DUE202.dockerbuild
132 KB
sha256:7e212f15efe175b9cb293bc1edc2e10bbcc39f05ed44ee3f78b5e9368d22a12e