Skip to content
Back to pull request #750

Re-generate F* without double return workaround. #688

Sign in to view logs

Re-generate F* without double return workaround.

Re-generate F* without double return workaround. #688

Annotations

1 warning

Build on ubuntu-22.04 s390x

Build on ubuntu-22.04 s390x
succeeded Jan 15, 2025 in 9m 38s