Skip to content

Merge pull request #24 from jberthold/ci-improve-run-failed-tests-step #25

Merge pull request #24 from jberthold/ci-improve-run-failed-tests-step

Merge pull request #24 from jberthold/ci-improve-run-failed-tests-step #25

build_test (ubuntu-22.04, ghc810, clang_18)

succeeded Jan 12, 2025 in 2m 33s