Skip to content
CI (Coq, docker)

[CI] also test opam packages, including perf #128

Sign in to view logs

[CI] also test opam packages, including perf

[CI] also test opam packages, including perf #128

build-docker (8.19)

build-docker (8.19)
succeeded Jan 28, 2025 in 9m 4s