Skip to content

Merge branch 'main' into fix/speed-up-gravsearch-filter-deleted #3535

Merge branch 'main' into fix/speed-up-gravsearch-filter-deleted

Merge branch 'main' into fix/speed-up-gravsearch-filter-deleted #3535

Triggered via push September 29, 2023 21:10
Status Success
Total duration 25m 5s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention
Build and test
5m 43s
Build and test
Build and integration-test
18m 35s
Build and integration-test
Build and zio-http-test
7m 14s
Build and zio-http-test
Test client-test-data
24m 54s
Test client-test-data
Test repository upgrade
5m 49s
Test repository upgrade
Test docs
32s
Test docs
Check formatting
6m 16s
Check formatting
Fit to window
Zoom out
Zoom in