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

fix jenkins detection and improve teamcity #620

Merged
merged 1 commit into from Jan 9, 2015

Conversation

@john7doe
Copy link

commented Jan 9, 2015

No description provided.

@forki

This comment has been minimized.

Copy link
Member

commented Jan 9, 2015

I thought we already normalize to lowercase?!

forki added a commit that referenced this pull request Jan 9, 2015
Merge pull request #620 from john7doe/buildserverDetect
fix jenkins detection and improve teamcity

@forki forki merged commit 7348fb8 into fsharp:master Jan 9, 2015

2 checks passed

continuous-integration/appveyor AppVeyor build succeeded
Details
continuous-integration/travis-ci The Travis CI build passed
Details
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.