Skip to content

Delete Jenkinsfile. - #226

Merged
gusmith merged 1 commit into
masterfrom
decommission-jenkins
Aug 14, 2019
Merged

gusmith merged 1 commit into
masterfrom
decommission-jenkins

Conversation

@gusmith

@gusmith gusmith commented Aug 14, 2019

Copy link
Copy Markdown
Contributor

No description provided.

@gusmith
gusmith requested a review from hardbyte August 14, 2019 05:19
@gusmith

gusmith commented Aug 14, 2019

Copy link
Copy Markdown
Contributor Author

The requirements on the commit status have been updated to include the azure pipelines and travis, removing jenkins.

@codecov

codecov Bot commented Aug 14, 2019

Copy link
Copy Markdown

Codecov Report

Merging #226 into master will decrease coverage by 0.12%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##           master     #226      +/-   ##
==========================================
- Coverage   94.38%   94.25%   -0.13%     
==========================================
  Files          16       16              
  Lines         801      801              
==========================================
- Hits          756      755       -1     
- Misses         45       46       +1

@gusmith
gusmith merged commit f3a30a4 into master Aug 14, 2019
@gusmith
gusmith deleted the decommission-jenkins branch August 14, 2019 05:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants