Skip to content
linux

Merge pull request #439 from jwillemsen/jwi-openddsconfigfile #1090

Sign in to view logs

Merge pull request #439 from jwillemsen/jwi-openddsconfigfile

Merge pull request #439 from jwillemsen/jwi-openddsconfigfile #1090

Triggered via push June 6, 2024 18:38
@jwillemsenjwillemsen
pushed b50adc1
master
Status Success
Total duration 2h 18m 52s
Artifacts –

linux.yml

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