Skip to content
CMake

build(rust): features for model checking and statically linked z3 #85

Sign in to view logs

build(rust): features for model checking and statically linked z3

build(rust): features for model checking and statically linked z3 #85

Run time

Learn about OS pricing on GitHub Actions
Job Run time
compile with mpich
24s
compile with openmpi
31s
compile with intelmpi
33s
1m 28s