Skip to content
Test Generated Go

Adapt to https://github.com/coq/coq/pull/17576 (#1698) #4584

Sign in to view logs

Adapt to https://github.com/coq/coq/pull/17576 (#1698)

Adapt to https://github.com/coq/coq/pull/17576 (#1698) #4584

Annotations

1 warning

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