Skip to content

Merge pull request #85 from eclipse-thingweb/interaction-options #518

Merge pull request #85 from eclipse-thingweb/interaction-options

Merge pull request #85 from eclipse-thingweb/interaction-options #518

Triggered via push December 23, 2023 01:07
Status Success
Total duration 1m 34s
Artifacts

ci.yml

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