ci: build venus at least

This doesn't do much. It would be more ideal if it could do 32-bit builds as well.

To run deqp-vk, while there is lavapipe, lavapipe lacks external memory that vkr requires. Some efforts will be needed to make the combination work.