Skip to content
This repository has been archived by the owner on Oct 22, 2021. It is now read-only.

Update GitHub actions #80

Merged
merged 2 commits into from
Nov 18, 2020
Merged

Update GitHub actions #80

merged 2 commits into from
Nov 18, 2020

Conversation

manno
Copy link
Member

@manno manno commented Nov 17, 2020

No description provided.

@coveralls
Copy link

coveralls commented Nov 17, 2020 •
edited
Loading

Pull Request Test Coverage Report for Build 368370032

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage increased (+0.06%) to 77.632%
Totals Coverage Status
Change from base Build 336838594: 0.06%
Covered Lines: 1305
Relevant Lines: 1681
💛 - Coveralls

@rohitsakala rohitsakala merged commit 6e6cf73 into master Nov 18, 2020
@rohitsakala rohitsakala deleted the update-github-actions branch November 18, 2020 02:38
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@rohitsakala rohitsakala rohitsakala approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@manno @coveralls @rohitsakala