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

Sign in to view logs

Triggered via push August 2, 2024 08:36

jwillemsen

jwi-noopenddsupdate

Status Success

Total duration 2h 59m 3s

Artifacts –

windows.yml

on: push

Matrix: mingw

Matrix: msvc