[layout engine] Move Coq Layout engine tree to coq-lsp repos. #2854
Triggered via pull request
September 26, 2024 19:25
Status
Success
Total duration
25m 50s
Artifacts
–
build.yml
on: pull_request
Opam dev install
9m 28s
client-compile
20s
Nix Flake Check
49s
Matrix: Nix
Matrix: build