MR for CI only

This MR is just a way to make !54 (merged) CI run easily, as long as we have not fixed the problem with forks.

assigned to @charles.gueunet

Warnings:

• the merge request is marked as a work-in-progress.

The warnings do not need to be fixed, but it is recommended to do so.

added 3 commits

• d2780c1f - Tolerate more diverse constraint intersections in CDT2
• 9f1a4e72 - Fix typo
• f2325299 - Fix boolean execution tests

Compare with previous version

Warnings:

• the merge request is marked as a work-in-progress.

The warnings do not need to be fixed, but it is recommended to do so.

mentioned in merge request !54 (merged)

enabled an automatic merge when all merge checks for f2325299 pass

marked this merge request as ready

mentioned in commit 3c09df11

merged

Errors:

• Failed to fetch from the repository: host error: no result after exponential backoff.