Skip to content
CI

Adapt to coq/coq#19741 (STM worker spawning doesn't use Sys.argv directly) #511

Sign in to view logs

Adapt to coq/coq#19741 (STM worker spawning doesn't use Sys.argv directly)

Adapt to coq/coq#19741 (STM worker spawning doesn't use Sys.argv directly) #511

Annotations

1 error

build (4.12.x, test, coq.dev)

build (4.12.x, test, coq.dev)
failed Oct 23, 2024 in 13m 7s