Skip to content

Merge pull request #4002 from bjorn/list-properties #644

Merge pull request #4002 from bjorn/list-properties

Merge pull request #4002 from bjorn/list-properties #644

Triggered via push October 7, 2025 14:42
Status Success
Total duration 5m 40s
Artifacts

ubuntu.yml

on: push
Fit to window
Zoom out
Zoom in