Skip to content

Merge pull request #5518 from bangerth/plugin_type_matches-2 #481

Merge pull request #5518 from bangerth/plugin_type_matches-2

Merge pull request #5518 from bangerth/plugin_type_matches-2 #481

Triggered via push December 10, 2023 21:13
Status Cancelled
Total duration 17m 16s
Artifacts

docker.yml

on: push
build-docker
17m 7s
build-docker
build-docker-tacc
50s
build-docker-tacc
Fit to window
Zoom out
Zoom in

Annotations

3 errors
build-docker-tacc
buildx failed with: ERROR: failed to solve: process "/bin/bash -c apt-get update && apt-get -yq upgrade && apt-get -yq install libblas-dev liblapack-dev git wget python numdiff bc ninja-build" did not complete successfully: exit code: 100
build-docker
Canceling since a higher priority waiting request for 'docker-build' exists
build-docker
The operation was canceled.