Skip to content
Back to pull request #686

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

Sign in to view logs

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
format
57s
57s