Skip to content

Merge pull request #86 from kellerkinderDE/chore/option-cleanup #128

Merge pull request #86 from kellerkinderDE/chore/option-cleanup

Merge pull request #86 from kellerkinderDE/chore/option-cleanup #128

Triggered via push January 22, 2024 08:32
Status Success
Total duration 9m 9s
Artifacts
list-examples
3s
list-examples
Matrix: test_examples
Fit to window
Zoom out
Zoom in