github-docker

Merge pull request #6746 from bangerth/plugin-serialize #1465

Sign in to view logs

Triggered via push November 3, 2025 14:00

gassmoeller

main

Status Cancelled

Total duration 2m 0s

Artifacts –

docker.yml

on: push

build-docker-tacc

Annotations

5 errors

build-docker-tacc

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

build-docker-tacc

The operation was canceled.

build-docker

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

build-docker

The operation was canceled.

github-docker

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