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

Triggered via pull request October 23, 2024 13:13
@SkySkimmerSkySkimmer
opened #428
SkySkimmer:async-positive
Status Failure
Total duration 15m 34s
Artifacts –

ci.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Annotations

4 errors
build (4.12.x, test, coq.dev)
Process completed with exit code 2.
build (4.13.x, test, coq.dev)
Process completed with exit code 2.
build (4.14.x, test, coq.dev)
Process completed with exit code 2.
build (4.14.x, test, true)
Process completed with exit code 2.