Skip to content

Merge pull request #19 from runeksvendsen/add-ci #78

Merge pull request #19 from runeksvendsen/add-ci

Merge pull request #19 from runeksvendsen/add-ci #78

build_test (ubuntu-22.04, ghc884, clang_18)

succeeded Jan 10, 2025 in 2m 22s