Draft CI Workflow
These are still in early phases but should be enough to give people a good idea of the github workflow and get feedback on it. Don't dwell on the text itself too much, it's just intended to give an idea (and is better than lorem ipsum). Overall, I'm hoping the images are largely self-explanatory but if not, there's more UI work to do.
-- Workflow -- The idea is that when a maintainer submits a PR to opam-repository, the following will happen.
- A build is scheduled and a webpage is created to display output and triage failures.
- A link to that webpage is added to the PR as a comment.
- When the build has run (and presumably stopped with some failure) comments are added to the PR to notify people.
- Anyone logged in to github can triage or add additional comments.
- Upon accepting/merging the PR, the final output table is copied across to the package page.
Points about this workflow
- Anyone can submit a PR and trigger a build/test cycle
- Anyone (logged in with github) can triage or comment
- A human with commit access is still required to check and merge the PR
There are likely other things to think about which are not included yet (e.g the ability to bump up the priority of a test run) so please do let me know.
Best wishes, Amir
