Skip to content
Test Generated Go

Adapt to https://github.com/coq/coq/pull/17576 #4583

Sign in to view logs

Adapt to https://github.com/coq/coq/pull/17576

Adapt to https://github.com/coq/coq/pull/17576 #4583

Annotations

1 warning

The logs for this run have expired and are no longer available.