Mentions légales du service

Skip to content

WIP: fix ce-bench and continuous integration

DAILLER Sylvain requested to merge fix_ci into master
  • Make the ce-bench XFAIL
  • Remove cvc4 1.4 from continuous integration build to free space

Merge request reports