Skip to content
face

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

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… #241

Triggered via push August 2, 2024 08:36
@jwillemsenjwillemsen
pushed e0d586b
jwi-noopenddsupdate
Status Success
Total duration 1h 46m 41s
Artifacts –

face.yml

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