update dashboard script - Githubissues

seL4 / ci-actions

CI GitHub actions for the seL4 repositories

https://sel4.systems

3 stars 13 forks source link

update dashboard script #338

Closed lsf37 closed 6 months ago

lsf37 commented 6 months ago

use new badge link format (old one produces broken links/images)
add config for new repos and workflows (microkit, rust, etc)