Skip to content
Format

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

Sign in to view logs

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

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

Triggered via pull request October 18, 2024 19:37
@penelopeysmpenelopeysm
synchronize #686
py/cherry-pick-0.28.5
Status Success
Total duration 1m 13s
Artifacts –

Format.yml

on: pull_request
format
1m 1s
format
Fit to window
Zoom out
Zoom in