Mentions légales du service
WIP: fix ce-bench and continuous integration
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
WIP: fix ce-bench and continuous integration
DAILLER Sylvain
requested to merge
fix_ci
into
master
Jun 17, 2019
Overview
0
Commits
1
Pipelines
0
Changes
2
Make the ce-bench XFAIL
Remove cvc4 1.4 from continuous integration build to free space
Merge request reports
Loading