Skip to content
Build with ocp Docker container

Add support for the get-info SMT-LIB2 command (#837) #367

Sign in to view logs

Add support for the get-info SMT-LIB2 command (#837)

Add support for the get-info SMT-LIB2 command (#837) #367

Run time

Learn about OS pricing on GitHub Actions
Job Run time
opam install on a specific docker container
5m 51s
5m 51s