5 Commits

Author	SHA1	Message	Date
Giovanni Mascellani	46a1b66df7	ci: Assume an Apple Silicon-based environment for the macOS CI job. ... The previous Intel-based macOS runner was replaced with another one running as a virtual machine on top of an Apple Silicon host. Since the current macOS runner is not yet able to deal with different exit codes, we temporarily allow failure unconditionally. This will be reverted as soon as the runner issue is fixed.	2024-06-17 12:32:33 +02:00
Giovanni Mascellani	9c0d04c862	ci: Build the macOS image each time the Linux image is built.	2024-04-04 22:22:06 +02:00
Giovanni Mascellani	866e5de95b	ci: Prepare the macOS build environment in a dedicated CI job.	2024-01-18 23:13:05 +01:00
Giovanni Mascellani	847930d5e0	ci: Rename CI target build-image to image-linux.	2024-01-18 23:13:03 +01:00
Giovanni Mascellani	4a3ad750e0	ci: Introduce a CI pipeline for GitLab.	2023-08-29 22:07:56 +02:00