github-docker

Merge pull request #6753 from bangerth/serialize-manager-objects #1478

Sign in to view logs

Triggered via push November 10, 2025 13:40

gassmoeller

main

Status Cancelled

Total duration 3m 41s

Artifacts –

docker.yml

on: push

build-docker-tacc

Annotations

5 errors

build-docker

Canceling since a higher priority waiting request for docker-build exists

build-docker

The operation was canceled.

build-docker-tacc

Canceling since a higher priority waiting request for docker-build exists

build-docker-tacc

The operation was canceled.

github-docker

Canceling since a higher priority waiting request for docker-build exists