Skip to content

Adapt to coq/coq#19620 (Global.push_context_set no strict argument) #2859

Adapt to coq/coq#19620 (Global.push_context_set no strict argument)

Adapt to coq/coq#19620 (Global.push_context_set no strict argument) #2859

Annotations

2 errors

build (dev, 4.09-flambda, local)

cancelled Oct 14, 2024 in 2m 1s