Skip to content

Merge pull request #25 from jberthold/ignore-ci-failure-due-to-issue-18 #19

Merge pull request #25 from jberthold/ignore-ci-failure-due-to-issue-18

Merge pull request #25 from jberthold/ignore-ci-failure-due-to-issue-18 #19

build_test (macos-13, ghc810, gcc8)

succeeded Jan 12, 2025 in 5m 41s