Open benmandrew opened 1 month ago
Build and List_revdeps jobs have some differences, but are included in the same module. They should be separated as they should have slightly different interfaces.
Build
List_revdeps
Initial work was done in https://github.com/ocurrent/opam-repo-ci/pull/290.
Build
andList_revdeps
jobs have some differences, but are included in the same module. They should be separated as they should have slightly different interfaces.Initial work was done in https://github.com/ocurrent/opam-repo-ci/pull/290.