Skip to content
Documentation

Default float type to float(Real), not Real (#685) #2199

Sign in to view logs

Default float type to float(Real), not Real (#685)

Default float type to float(Real), not Real (#685) #2199

Triggered via pull request October 11, 2024 14:53
@penelopeysmpenelopeysm
synchronize #686
py/cherry-pick-0.28.5
Status Success
Total duration 3m 3s
Artifacts –

Docs.yml

on: pull_request
docs
2m 55s
docs
Fit to window
Zoom out
Zoom in