Skip to content
Back to pull request #1437

Support NET_RECEIVE{ INITIAL { ... }}. #2870

Sign in to view logs

Support NET_RECEIVE{ INITIAL { ... }}.

Support NET_RECEIVE{ INITIAL { ... }}. #2870

Annotations

1 warning

{ "flag_warnings": "ON", "os": "ubuntu-22.04", "sanitizer": "undefined" }

{ "flag_warnings": "ON", "os": "ubuntu-22.04", "sanitizer": "undefined" }
succeeded Sep 19, 2024 in 2m 27s