Skip to content

record Git revision in devel builds #8501

record Git revision in devel builds

record Git revision in devel builds #8501

Annotations

4 errors and 6 warnings

Validate ubuntu-22.04 ghc-9.8.2

succeeded Nov 10, 2024 in 27m 42s