Skip to content
Haskell Tests

Add the apply function for uninterpreted functions #545

Sign in to view logs

Add the apply function for uninterpreted functions

Add the apply function for uninterpreted functions #545

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)
6m 45s
build (ubuntu-latest, stack, --stack-yaml stack-lts-18.28-lowerbound.yaml, false, false, 8107, st...
6m 54s
build (ubuntu-latest, stack, --stack-yaml stack-lts-19.33.yaml, false, false, 902, stack-19.33)
6m 7s
build (ubuntu-latest, stack, --stack-yaml stack-lts-20.26.yaml, false, false, 928, stack-20.26)
5m 41s
build (ubuntu-latest, stack, --stack-yaml stack-lts-21.25.yaml, false, false, 948, stack-21.25)
6m 54s
build (ubuntu-latest, stack, true, false, 963, stack-22.4)
6m 43s
build (ubuntu-latest, stack, --stack-yaml stack-nightly.yaml, false, false, 963, stack-nightly)
6m 45s
build (ubuntu-latest, cabal, --constraint=sbv<10, false, false, 8107, cabal-8107)
9m 38s
build (ubuntu-latest, cabal, --constraint=sbv<10, false, false, 902, cabal-902)
8m 54s
build (ubuntu-latest, cabal, false, false, 928, cabal-928)
7m 35s
build (ubuntu-latest, cabal, false, false, 948, cabal-948)
7m 30s
build (ubuntu-latest, cabal, false, false, 963, cabal-963)
7m 16s
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)
13m 27s
build (macOS-latest, cabal, --constraint=sbv<10, false, false, 902, cabal-902)
13m 27s
build (macOS-latest, cabal, false, false, 928, cabal-928)
13m 28s
build (macOS-latest, cabal, false, false, 948, cabal-948)
13m 10s
build (macOS-latest, cabal, false, false, 963, cabal-963)
13m 36s
2h 33m 57s