Skip to content

Merge branch 'ci' into fix-ci2 #61

Merge branch 'ci' into fix-ci2

Merge branch 'ci' into fix-ci2 #61

Annotations

1 error

build_test (ubuntu-22.04, ghc7103, gcc8)

failed Jan 2, 2025 in 2m 16s