Skip to content
Coq Tests

Adapt to https://github.com/coq/coq/pull/19530 (#372) #74

Sign in to view logs

Adapt to https://github.com/coq/coq/pull/19530 (#372)

Adapt to https://github.com/coq/coq/pull/19530 (#372) #74

Annotations

1 warning

Coq integration tests (8.5, 3.6)

Coq integration tests (8.5, 3.6)
succeeded Sep 17, 2024 in 1m 3s