Skip to content

Merge branch 'ci' into fix-ci2 #61

Merge branch 'ci' into fix-ci2

Merge branch 'ci' into fix-ci2 #61

build_test (macos-13, ghc865Binary, clang_12)

succeeded Jan 2, 2025 in 6m 20s