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 (ubuntu-22.04, ghc810, gcc14)

succeeded Jan 12, 2025 in 2m 22s