Skip to content

GitHub Actions: Use gh command instead of hub command #457

GitHub Actions: Use gh command instead of hub command

GitHub Actions: Use gh command instead of hub command #457

Annotations

14 warnings

build (9.0.2, macos-13, stack-ghc-9.0.yaml, --flag toysolver:BuildToyFMF --flag toysolver:BuildSa...

succeeded May 21, 2024 in 10m 26s