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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
20m 22s
20m 22s