Skip to content
This repository has been archived by the owner on Oct 23, 2024. It is now read-only.

Merge remote-tracking branch 'github/release-22.0.0.37.1' into develop #21

Merge remote-tracking branch 'github/release-22.0.0.37.1' into develop

Merge remote-tracking branch 'github/release-22.0.0.37.1' into develop #21

Annotations

1 warning

linux-x64-hs-optimized  /  build (debug)

succeeded Mar 21, 2024 in 16m 27s