Skip to content

Merge branch 'modernize_ci' #4

Merge branch 'modernize_ci'

Merge branch 'modernize_ci' #4

Annotations

3 warnings

GHC 9.8 on ubuntu-latest

succeeded Apr 29, 2024 in 1m 55s