Skip to content
Uclid CI

Update tutorial example: double is now a reserved word for float #617

Sign in to view logs

Update tutorial example: double is now a reserved word for float

Update tutorial example: double is now a reserved word for float #617

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-ubuntu
3m 29s
test-macos
6m 9s
9m 38s