ci needs the ability to "test with" prs from other repos

[midnightveil]

e.g. #509 or #426 which depend on changes to microkit_sdf_gen, the builds will fail. it would be nice if we can specify "Test with" like in the seL4 repos and have the version of all the dependencies update appropriately.

[Ivan-Velickovic]

Probably useful in general but that specific problem will go away once the tooling is put in this repository instead.

[omeh-a]

I think a broader solution should be that we need something like a manifest file to describe dependency versions. This means that we can have one source of truth in-repo that can be used by CI, end-users and any future build automation

[Ivan-Velickovic]

I think a broader solution should be that we need something like a manifest file to describe dependency versions. This means that we can have one source of truth in-repo that can be used by CI, end-users and any future build automation

That's what a lot of the seL4 projects do currently but it's quite a mess. Not saying I'm opposed to something like that but I am skeptical in general. If we did it we would definitely not use the repo tool.