docker-ci-for-pr

HolSmt: improve ability to solve goals, misc fixes #328

Sign in to view logs

Triggered via pull request July 17, 2024 02:13

opened #1274

someplaceguy:u/fix-thms

Status Success

Total duration 2h 7m 20s

Artifacts –

docker-ci-for-pr.yml

on: pull_request