[args] [coq] Allow to set ocamlpath and findlib init file separately. #2892
Triggered via pull request
September 28, 2024 16:09
ejgallego
Status
Success
Total duration
18m 39s
Artifacts
–
build.yml
on: pull_request
Opam dev install
8m 39s
client-compile
16s
Nix Flake Check
47s
Matrix: Nix
Matrix: build