Skip to content
Format

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

Sign in to view logs

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

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

Triggered via pull request October 11, 2024 14:41
@penelopeysmpenelopeysm
opened #686
py/cherry-pick-0.28.5
Status Failure
Total duration 1m 15s
Artifacts –

Format.yml

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

Annotations

1 error
format
Process completed with exit code 1.