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

10 warnings

build (8.10.7, windows-latest, stack-ghc-8.10.yaml, --flag toysolver:BuildToyFMF --flag toysolver...

succeeded May 21, 2024 in 15m 5s