Skip to content
CI

remove dollar signs from inference names, not allowed in TSTP output #1125

Sign in to view logs

remove dollar signs from inference names, not allowed in TSTP output

remove dollar signs from inference names, not allowed in TSTP output #1125

Triggered via pull request October 2, 2023 15:53
@MichaelRawsonMichaelRawson
opened #484
michael-no-dollars-in-inferences
Status Success
Total duration 17m 32s
Artifacts –

CI.yml

on: pull_request
build
17m 21s
build
Fit to window
Zoom out
Zoom in