Projects marked as "archived" on github can not run actions to upload coverage data. Can they be excluded from the list of projects ?