Skip to content

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

Merge pull request #19 from runeksvendsen/add-ci

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

build_test (ubuntu-20.04, ghc810, clang_12)

succeeded Jan 10, 2025 in 4m 34s