Skip to content

PR: Set up CI with Azure Pipelines. - #431

Merged
thomasmansencal merged 10 commits into
developfrom
feature/azure_pipelines
Sep 15, 2018
Merged

thomasmansencal merged 10 commits into
developfrom
feature/azure_pipelines

Conversation

@MichaelMauderer

Copy link
Copy Markdown
Member

No description provided.

@coveralls

coveralls commented Sep 12, 2018 •

Copy link
Copy Markdown

Coverage Status

Coverage decreased (-0.3%) to 97.27% when pulling 416858b on feature/azure_pipelines into e423533 on develop.

@colour-science colour-science deleted a comment Sep 15, 2018
@thomasmansencal thomasmansencal changed the title Set up CI with Azure Pipelines PR: Set up CI with Azure Pipelines. Sep 15, 2018
@thomasmansencal
thomasmansencal merged commit 51d2c42 into develop Sep 15, 2018
@thomasmansencal

Copy link
Copy Markdown
Member

Thanks @MichaelMauderer !

@MichaelMauderer
MichaelMauderer deleted the feature/azure_pipelines branch November 8, 2018 19:05
@thomasmansencal thomasmansencal added this to the v0.3.12 milestone Feb 18, 2019
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.

3 participants