Skip to content
Build

Adding missing base-case for exponentiation && improve Exp handling via simplification and "ite" in SMT #3103

Sign in to view logs

Adding missing base-case for exponentiation && improve Exp handling via simplification and "ite" in SMT

Adding missing base-case for exponentiation && improve Exp handling via simplification and "ite" in SMT #3103

Run time

Learn about OS pricing on GitHub Actions
Job Run time
extra-tests (ubuntu-latest)
1m 25s
nix-build (linux-x64)
1m 24s
extra-tests (macos-latest)
1m 24s
cabal-check
1m 25s
nix-build (osx-x64)
1m 24s
nix-build (osx-arm64)
1m 25s
bitwuzla-build (win64 target) / build
3s
build (windows-latest)
56s
9m 26s