Skip to content
Haskell Tests

A generic CEGIS procedure #556

Sign in to view logs

A generic CEGIS procedure

A generic CEGIS procedure #556

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (ubuntu-latest, stack, --stack-yaml stack-lts-18.28.yaml, false, false, 8107, stack-18.28)
1m 41s
build (ubuntu-latest, stack, --stack-yaml stack-lts-18.28-lowerbound.yaml, false, false, 8107, st...
1m 40s
build (ubuntu-latest, stack, --stack-yaml stack-lts-19.33.yaml, false, false, 902, stack-19.33)
1m 39s
build (ubuntu-latest, stack, --stack-yaml stack-lts-20.26.yaml, false, false, 928, stack-20.26)
1m 40s
build (ubuntu-latest, stack, --stack-yaml stack-lts-21.25.yaml, false, false, 948, stack-21.25)
1m 41s
build (ubuntu-latest, stack, true, false, 963, stack-22.4)
1m 43s
build (ubuntu-latest, stack, --stack-yaml stack-nightly.yaml, false, false, 963, stack-nightly)
1m 39s
build (ubuntu-latest, cabal, --constraint=sbv<10, false, false, 8107, cabal-8107)
1m 42s
build (ubuntu-latest, cabal, --constraint=sbv<10, false, false, 902, cabal-902)
1m 19s
build (ubuntu-latest, cabal, false, false, 928, cabal-928)
1m 41s
build (ubuntu-latest, cabal, false, false, 948, cabal-948)
1m 41s
build (ubuntu-latest, cabal, false, false, 963, cabal-963)
1m 41s
build (macOS-latest, stack, --stack-yaml stack-lts-18.28.yaml, false, false, 8107, stack-18.28)
1s
build (macOS-latest, stack, --stack-yaml stack-lts-18.28-lowerbound.yaml, false, false, 8107, sta...
1s
build (macOS-latest, stack, --stack-yaml stack-lts-19.33.yaml, false, false, 902, stack-19.33)
1s
build (macOS-latest, stack, --stack-yaml stack-lts-20.26.yaml, false, false, 928, stack-20.26)
1s
build (macOS-latest, stack, --stack-yaml stack-lts-21.25.yaml, false, false, 948, stack-21.25)
1s
build (macOS-latest, stack, true, false, 963, stack-22.4)
1s
build (macOS-latest, stack, --stack-yaml stack-nightly.yaml, false, false, 963, stack-nightly)
1s
build (macOS-latest, cabal, --constraint=sbv<10, false, false, 8107, cabal-8107)
1m 44s
build (macOS-latest, cabal, --constraint=sbv<10, false, false, 902, cabal-902)
1m 39s
build (macOS-latest, cabal, false, false, 928, cabal-928)
1m 43s
build (macOS-latest, cabal, false, false, 948, cabal-948)
1m 43s
build (macOS-latest, cabal, false, false, 963, cabal-963)
1m 40s
28m 23s