Skip to content
CI

do not consider {inequality,general} splitting as naming a formula #1188

Sign in to view logs

do not consider {inequality,general} splitting as naming a formula

do not consider {inequality,general} splitting as naming a formula #1188

Triggered via pull request December 8, 2023 10:37
@MichaelRawsonMichaelRawson
opened #510
michael-no-naming-for-gsp-ins
Status Success
Total duration 13m 16s
Artifacts –

CI.yml

on: pull_request
build
13m 5s
build
Fit to window
Zoom out
Zoom in