6 Commits

Author	SHA1	Message	Date
Giovanni Mascellani	847930d5e0	ci: Rename CI target build-image to image-linux.	2024-01-18 23:13:03 +01:00
Giovanni Mascellani	dbc5e7d07c	ci: Run cross tests on Windows. ... A driver program is introduced to coordinate test running on Windows, similarly to what "make test" does on Linux and macOS.	2023-10-31 21:58:51 +01:00
Giovanni Mascellani	d10e94d8d5	ci: Update the README with some recent changes.	2023-10-02 22:25:16 +02:00
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