Skip to content
Format

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

Sign in to view logs

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

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

Triggered via pull request November 5, 2024 18:40
@penelopeysmpenelopeysm
synchronize #686
py/cherry-pick-0.28.5
Status Cancelled
Total duration 53s
Artifacts –

Format.yml

on: pull_request
format
42s
format
Fit to window
Zoom out
Zoom in

Annotations

2 errors
format
Canceling since a higher priority waiting request for 'Format-refs/pull/686/merge' exists
format
The operation was canceled.