7 Commits

Author	SHA1	Message	Date
Giovanni Mascellani	ef77d78a39	ci: Store config.log as a build artifact.	2023-10-02 22:25:14 +02:00
Giovanni Mascellani	fd6c6895d6	ci: Compile with -Werror. ... Manually disable some warnings that are currently emitted. Eventually the warnings should be solved and -Werror should remain alone.	2023-10-02 22:25:13 +02:00
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