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 9 warnings

Validate ubuntu-22.04 ghc-9.10.1

succeeded Nov 10, 2024 in 29m 1s