these 5 derivations will be built:
  /nix/store/w55733ybpj96zcxk86im7fq90w56w676-source.drv
  /nix/store/j19d8q4y1myy1vyqzqfjk4qkg49k3fn7-lean-ctx-3.11.0-vendor-staging.drv
  /nix/store/7q0nwl4c3q1c8wr8yhp0y840vx93a64j-lean-ctx-3.11.0-vendor.drv
  /nix/store/gbknhcgfarkcr21yad8rcm8xghs3x5mb-lean-ctx-3.11.0.drv
  /nix/store/wx2k0pph0z2y9r5n8dpc5wq2akli5fg9-check-lean-ctx.drv
warning: SQLite database '/nix/var/nix/db/db.sqlite' is busy
warning: SQLite database '/nix/var/nix/db/db.sqlite' is busy