3 Commits

Author	SHA1	Message	Date
Giovanni Mascellani	1ee0cbb627	ci: Build widl for 64 bit.	2023-10-16 22:36:15 +02:00
Giovanni Mascellani	52d52ad1b9	ci: Execute CI also an a runner with an AMD GPU. ... In order for this to work it is expected that the Docker host exposes the devices in /dev/dri to the guest system, and that the render nodes have GID 800 (usually that would be the "render" group, but the GID for that group is dynamically assigned, so we explicitly agree on a fixed number).	2023-08-31 22:07:16 +02:00
Giovanni Mascellani	4a3ad750e0	ci: Introduce a CI pipeline for GitLab.	2023-08-29 22:07:56 +02:00