allow sel4bench builds without labelling on some repos #389
Description
The default workflow in the ci-actions repo for sel4bench builds and hardware tests only builds on labelling. For the sel4bench repo, and probably the sel4bench manifest repo, builds should be enabled by default.