compatibility: work with new irace 4.0.0#435

Merged

be-marc merged 8 commits intomainfrom irace

Nov 28, 2024

+40-18

Commits on Aug 1, 2024

Commits on Aug 16, 2024

Merge branch 'main' into irace
be-marc
committed

Commits on Nov 8, 2024

Merge branch 'main' into irace
be-marc
committed

Commits on Nov 28, 2024

Merge branch 'main' into irace
be-marc
committed
...
be-marc
committed
...
be-marc
committed