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

16 warnings

build (8.6.3, windows-latest, stack-windows-i386.yaml, --flag toysolver:BuildToyFMF --flag toysol...

succeeded May 21, 2024 in 9m 17s