setup
checks.x86_64-linux.pkgs-lean-ctx
· build #5841
· raw
1these 5 derivations will be built:2 /nix/store/2bwxn81w452gwfi31l354pqckijz84fm-source.drv3 /nix/store/agzm9fag9fr0lma4fqxbz5lpv7jkh1s3-lean-ctx-3.10.5-vendor-staging.drv4 /nix/store/dxc54h2cxvnmbryvwjx7g6b8xwb8a7ib-lean-ctx-3.10.5-vendor.drv5 /nix/store/ymqf5xgag67lc787bzss37zwypy95581-lean-ctx-3.10.5.drv6 /nix/store/dqvpm9g9psrzsi78nyilxy5k7ffdxlw9-check-lean-ctx.drv