Skip to content
CI

[ci] Rework CI as to be more modular #439

Sign in to view logs

[ci] Rework CI as to be more modular

[ci] Rework CI as to be more modular #439

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

build (4.11.x, test, coq.dev)
succeeded May 2, 2024 in 8m 7s