[args] [coq] Allow to set ocamlpath and findlib init file separately. #2890
Triggered via pull request
September 28, 2024 15:49
ejgallego
Status
Failure
Total duration
17m 34s
Artifacts
–
build.yml
on: pull_request
Opam dev install
8m 11s
client-compile
16s
Nix Flake Check
48s
Matrix: Nix
Matrix: build
Annotations
1 error
|
Nix Flake Check
Process completed with exit code 1.
|