ci: Allow lima jobs to be globally disabled
This is useful in situations like right now, where the boards are dead.
Signed-off-by: Daniel Stone daniels@collabora.com
This is useful in situations like right now, where the boards are dead.
Signed-off-by: Daniel Stone daniels@collabora.com