Re-build info #38
Description
It would be interesting to know, for a commit, how many packages were rebuilt (and which ones). It could be helpful to detect inefficiency problems in opam-builder.
{{ message }}
It would be interesting to know, for a commit, how many packages were rebuilt (and which ones). It could be helpful to detect inefficiency problems in opam-builder.