Skip to content
Nix CI for bundle rocq-9.0

Adapt to coq/coq#20235 (Print/About use %_ for argument scopes) #41

Sign in to view logs

Adapt to coq/coq#20235 (Print/About use %_ for argument scopes)

Adapt to coq/coq#20235 (Print/About use %_ for argument scopes) #41

Annotations

1 error

stdlib-test

stdlib-test
failed Feb 13, 2025 in 4m 12s