Skip to content
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

[DO NOT MERGE] try out checker framework #3769

Open
wants to merge 2 commits into
base: develop
from

Conversation

@skaldarnar
Copy link
Member

skaldarnar commented Oct 19, 2019

@skaldarnar skaldarnar changed the title try out checker framework [DO NOT MERGE] try out checker framework Oct 19, 2019
@GooeyHub

This comment has been minimized.

Copy link
Member

GooeyHub commented Oct 19, 2019

Uh oh, something went wrong with the build. Need to check on that

@GooeyHub

This comment has been minimized.

Copy link
Member

GooeyHub commented Oct 19, 2019

Uh oh, something went wrong with the build. Need to check on that

@skaldarnar

This comment has been minimized.

Copy link
Member Author

skaldarnar commented Oct 23, 2019

@wmdietl I cannot see the exception I had locally in our CI build: http://jenkins.terasology.org/job/TerasologyPRs/2956/console
The output looks fine, and we even started applying some fixes reported by CF.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
2 participants
You can’t perform that action at this time.