Skip to content
Back to pull request #1104

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

Sign in to view logs

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.14-flambda, opam)

build (dev, 4.14-flambda, opam)
cancelled Oct 14, 2024 in 1m 59s