Skip to content

Merge pull request #402 from jwillemsen/jwi-ddsx11bitboundenum #935

Merge pull request #402 from jwillemsen/jwi-ddsx11bitboundenum

Merge pull request #402 from jwillemsen/jwi-ddsx11bitboundenum #935

Triggered via push August 7, 2023 13:28
Status Cancelled
Total duration 4h 32m 47s
Artifacts

linux.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

4 errors
ubuntu-22.04 g++-12 ruby-3.1
Canceling since a higher priority waiting request for 'linux-refs/heads/master' exists
ubuntu-22.04 g++-12 ruby-3.1
The operation was canceled.
ubuntu-22.04 g++-13 ruby-3.1
Canceling since a higher priority waiting request for 'linux-refs/heads/master' exists
ubuntu-22.04 g++-13 ruby-3.1
The operation was canceled.