-
Notifications
You must be signed in to change notification settings - Fork 1.4k
[CMake] Make Proof optional #3897
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
|
Starting build on |
|
Build failed on mac1014/cxx17. Errors:
|
|
Build failed on ROOT-ubuntu16/rtcxxmod. Errors:
|
|
Build failed on ROOT-fedora27/noimt. Errors:
|
|
Build failed on ROOT-performance-centos7-multicore/default. Errors:
|
|
Build failed on windows10/default. |
|
Build failed on ROOT-fedora29/python3. Errors:
|
|
Starting build on |
|
Build failed on mac1014/cxx17. Errors:
|
|
Build failed on ROOT-fedora27/noimt. Errors:
|
|
Build failed on ROOT-ubuntu16/rtcxxmod. Errors:
|
|
Build failed on ROOT-performance-centos7-multicore/default. Errors:
|
|
Starting build on |
|
Build failed on mac1014/cxx17. Errors:
|
|
Build failed on ROOT-ubuntu16/rtcxxmod. Errors:
|
|
Build failed on ROOT-fedora27/noimt. Errors:
|
|
Build failed on ROOT-performance-centos7-multicore/default. Errors:
|
|
Build failed on windows10/default. |
|
Starting build on |
|
Build failed on mac1014/cxx17. Errors:
|
|
Build failed on ROOT-fedora27/noimt. Errors:
|
|
Build failed on ROOT-performance-centos7-multicore/default. Errors:
|
|
Build failed on ROOT-ubuntu16/rtcxxmod. Errors:
|
|
Build failed on windows10/default. |
|
Starting build on |
oshadura
left a comment
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Very nice idea!
|
Build failed on ROOT-ubuntu16/rtcxxmod. Failing tests: |
|
Build failed on mac1014/cxx17. Failing tests: |
|
Build failed on ROOT-fedora29/python3. Warnings:
Failing tests: |
|
@phsft-bot build |
|
Starting build on |
|
Build failed on ROOT-fedora27/noimt. Failing tests: |
|
Build failed on ROOT-ubuntu16/rtcxxmod. Failing tests: |
|
@phsft-bot build |
|
Starting build on |
|
Build failed on ROOT-fedora27/noimt. Failing tests: |
|
Build failed on ROOT-fedora29/python3. Failing tests: |
|
Build failed on ROOT-ubuntu16/rtcxxmod. Failing tests: |
|
Closing with permission by @dpiparo . |
No description provided.