checks.x86_64-linux.pkgs-lean-ctx
build #5741
· raw
· eval 70 ms · 68.8 KiB allocated
· ‹ #5740
· #5742 ›
Succeeded (4)
4 built
setup
lean-ctx-3.10.4-vendor
lean-ctx-3.10.4
check-lean-ctx
no output