Skip to content
Release

Add get-model and simplify tests that Z3 cannot decide (#3737) #750

Sign in to view logs

Add get-model and simplify tests that Z3 cannot decide (#3737)

Add get-model and simplify tests that Z3 cannot decide (#3737) #750

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Release
7m 4s
Cache Cabal (ubuntu-22.04, ubuntu-22.04, x86_64-linux)
11m 34s
Cache Stack
8m 25s
Cache Cabal (macos-12, macos-12, x86_64-darwin)
17m 24s
Cache Stack Haddock
4m 45s
Cache Cabal (MacM1, self-macos-12, aarch64-darwin)
4m 47s
Publish Release
8s
54m 7s