Skip to content

record Git revision in devel builds #11825

record Git revision in devel builds

record Git revision in devel builds #11825

Annotations

10 warnings

Bootstrap ubuntu-latest ghc-9.2.8

succeeded Nov 10, 2024 in 11m 34s