docker-ci-for-pr

HolSmt: usability improvements, initial support for exponentials #279

Sign in to view logs

Triggered via pull request May 30, 2024 18:34

opened #1247

someplaceguy:u/ux-exp

Status Success

Total duration 2h 1m 51s

Artifacts –

docker-ci-for-pr.yml

on: pull_request