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

metacoq-safechecker-plugin

metacoq-safechecker-plugin
succeeded Feb 13, 2025 in 7m 3s