Skip to content
Haskell Tests

Add the apply function for uninterpreted functions #544

Sign in to view logs

Add the apply function for uninterpreted functions

Add the apply function for uninterpreted functions #544

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 32s
build (ubuntu-latest, stack, --stack-yaml stack-lts-18.28-lowerbound.yaml, false, false, 8107, st...
6m 45s
build (ubuntu-latest, stack, --stack-yaml stack-lts-19.33.yaml, false, false, 902, stack-19.33)
5m 57s
build (ubuntu-latest, stack, --stack-yaml stack-lts-20.26.yaml, false, false, 928, stack-20.26)
5m 27s
build (ubuntu-latest, stack, --stack-yaml stack-lts-21.25.yaml, false, false, 948, stack-21.25)
6m 50s
build (ubuntu-latest, stack, true, false, 963, stack-22.4)
6m 45s
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 56s
build (ubuntu-latest, cabal, --constraint=sbv<10, false, false, 902, cabal-902)
8m 44s
build (ubuntu-latest, cabal, false, false, 928, cabal-928)
7m 44s
build (ubuntu-latest, cabal, false, false, 948, cabal-948)
7m 24s
build (ubuntu-latest, cabal, false, false, 963, cabal-963)
6m 56s
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...
13m 38s
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 39s
build (macOS-latest, cabal, --constraint=sbv<10, false, false, 902, cabal-902)
13m 39s
build (macOS-latest, cabal, false, false, 928, cabal-928)
13m 21s
build (macOS-latest, cabal, false, false, 948, cabal-948)
13m 44s
build (macOS-latest, cabal, false, false, 963, cabal-963)
1s
2h 33m 53s