5 Commits

Author	SHA1	Message	Date
Giovanni Mascellani	7366b5fd38	ci: Prepend an ordinal number to commits in artifacts.	2023-09-27 22:34:24 +02:00
Giovanni Mascellani	2dd4211b77	ci: Wrap complex commands in CI scripts.	2023-09-26 22:07:36 +02:00
Giovanni Mascellani	81da13b9e2	ci: Build crosstests in a dedicated CI job. ... Mostly to avoid polluting other logs and artifacts, and also to avoid recompiling crosstests over and over. Eventually the artifacts produced at this stage should be run on native Windows.	2023-09-26 22:07:35 +02:00
Giovanni Mascellani	229a34b93c	ci: Execute the tests.	2023-08-31 22:07:21 +02:00
Giovanni Mascellani	4a3ad750e0	ci: Introduce a CI pipeline for GitLab.	2023-08-29 22:07:56 +02:00