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 (8.8.4, ubuntu-latest, stack-ghc-8.8.yaml, --coverage, --flag toysolver:BuildToyFMF --flag ...

succeeded May 21, 2024 in 9m 12s