Skip to content
Github CI

[args] [coq] Allow to set ocamlpath and findlib init file separately. #2888

Sign in to view logs

[args] [coq] Allow to set ocamlpath and findlib init file separately.

[args] [coq] Allow to set ocamlpath and findlib init file separately. #2888

Nix (ubuntu-latest)

Nix (ubuntu-latest)
succeeded Sep 28, 2024 in 1m 28s