56 Commits

Author	SHA1	Message	Date
Giovanni Mascellani	d72c91ef97	ci: Run the tests on macOS.	2023-09-14 20:28:47 +02:00
Giovanni Mascellani	f525e9e93a	ci: Run the tests on a 32 bit Linux system.	2023-09-04 20:26:05 +02:00
Giovanni Mascellani	367cf10cdc	ci: Briefly document the CI setup.	2023-08-31 22:07:21 +02:00
Giovanni Mascellani	229a34b93c	ci: Execute the tests.	2023-08-31 22:07:21 +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