CI

Install CVC5 1.2.0 via opam in Docker containers #1702

Sign in to view logs

Triggered via pull request December 11, 2024 01:38

podhrmic

opened #755

podhrmic:install-cvc5-in-docker

Status Success

Total duration 2m 27s

Artifacts –

ci.yml

on: pull_request

Matrix: build