We should have a badge for each separate CI for each separate repo. Many badges!
For a start let's add to the table on the main page. We could also consider having the individual badges (each row of the big table) in each separate repo. But might be going overboard with extra work needed to set that up even if it's just copy-paste.
We should have a badge for each separate CI for each separate repo. Many badges!
For a start let's add to the table on the main page. We could also consider having the individual badges (each row of the big table) in each separate repo. But might be going overboard with extra work needed to set that up even if it's just copy-paste.