Skip to content
linux

Manually updating OpenDDS is not necessary anymore, there is a github… #457

Sign in to view logs

Manually updating OpenDDS is not necessary anymore, there is a github…

Manually updating OpenDDS is not necessary anymore, there is a github… #457

Triggered via push August 2, 2024 08:36
@jwillemsenjwillemsen
pushed e0d586b
jwi-noopenddsupdate
Status Failure
Total duration 3h 44m 33s
Artifacts –

linux.yml

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

Annotations

1 error and 1 warning
ubuntu-20.04 g++-10 CodeQL
ref 'refs/heads/jwi-noopenddsupdate' not found in this repository
ubuntu-20.04 g++-10 CodeQL
ref 'refs/heads/jwi-noopenddsupdate' not found in this repository