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

Move to GitHub actions #145

Merged
merged 2 commits into from Nov 9, 2020
Merged

Move to GitHub actions #145

merged 2 commits into from Nov 9, 2020

Conversation

robertodr
Copy link
Contributor

@robertodr robertodr commented Nov 3, 2020

  • CI for Linux and macOS are now run through GitHub actions rather than Travis (for Linux) and Azure (for macOS)
  • Code coverage analysis is done in a separate action.
  • I didn't manage to move Windows to GitHub actions. We might want to retry adding windows-latest to the OS matrix at a later stage.

@codecov-io
Copy link

Codecov Report

Merging #145 into master will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##           master     #145   +/-   ##
=======================================
  Coverage   53.99%   53.99%           
=======================================
  Files          91       91           
  Lines        2415     2415           
=======================================
  Hits         1304     1304           
  Misses       1111     1111           

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 65c1ea4...c2aa488. Read the comment docs.

@robertodr robertodr requested a review from bast November 9, 2020 14:08
@robertodr robertodr changed the title Add build and test action Move to GitHub actions Nov 9, 2020
@robertodr
Copy link
Contributor Author

Feel free to squash the commits.

@robertodr robertodr requested a review from stigrj November 9, 2020 16:48
@robertodr robertodr merged commit 7d436bd into master Nov 9, 2020
@robertodr robertodr deleted the robertodr-patch-1 branch November 9, 2020 21:50
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.

None yet

3 participants