Skip to content
CI

Merge pull request #5810 from markusweigelt/filter-select #483

Sign in to view logs

Merge pull request #5810 from markusweigelt/filter-select

Merge pull request #5810 from markusweigelt/filter-select #483

Triggered via push December 11, 2023 08:47
@markusweigeltmarkusweigelt
pushed 71e2e14
master
Status Success
Total duration 20m 31s
Artifacts –

main.yml

on: push
build
20m 22s
build
Fit to window
Zoom out
Zoom in