Skip to content

Merge pull request #283 from jwillemsen/jwi-idl4ridlcdoc #778

Merge pull request #283 from jwillemsen/jwi-idl4ridlcdoc

Merge pull request #283 from jwillemsen/jwi-idl4ridlcdoc #778

Triggered via push July 14, 2023 07:04
Status Cancelled
Total duration 4h 15m 3s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

linux.yml

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

Annotations

2 errors
ubuntu-22.04 g++-10 ruby-2.7
Canceling since a higher priority waiting request for 'linux-refs/heads/master' exists
ubuntu-22.04 g++-10 ruby-2.7
The operation was canceled.