Skip to content
CI

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

Sign in to view logs

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

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

Triggered via pull request November 5, 2024 18:41
@penelopeysmpenelopeysm
synchronize #686
py/cherry-pick-0.28.5
Status Success
Total duration 37m 47s
Artifacts –

CI.yml

on: pull_request
Matrix: test
Fit to window
Zoom out
Zoom in