Skip to content

Merge branch 'release-v0.7.4' into develop #187

Merge branch 'release-v0.7.4' into develop

Merge branch 'release-v0.7.4' into develop #187

Annotations

1 warning

Build and test with GHC (ubuntu-latest)

succeeded Apr 1, 2024 in 3m 21s