Skip to content
This repository has been archived by the owner on Feb 1, 2024. It is now read-only.

ci: update GPU check #35

Merged
merged 21 commits into from
Sep 2, 2023
Merged

ci: update GPU check #35

merged 21 commits into from
Sep 2, 2023

Conversation

Borda
Copy link
Member

@Borda Borda commented Sep 1, 2023

Before submitting
  • Was this discussed/agreed via a Github issue? (no need for typos and docs improvements)
  • Did you read the contributor guideline, Pull Request section?
  • Did you make sure to update the docs?
  • Did you all existing and newly added tests pass locally?

What does this PR do?

fraction of #7

PR review

Anyone in the community is free to review the PR once the tests have passed.
If we didn't discuss your PR in GitHub issues there's a high chance it will not be merged.

@codecov
Copy link

codecov bot commented Sep 1, 2023

Codecov Report

Merging #35 (3ec8bd9) into main (4949669) will not change coverage.
The diff coverage is n/a.

Additional details and impacted files
@@        Coverage Diff         @@
##           main   #35   +/-   ##
==================================
  Coverage    59%   59%           
==================================
  Files         3     3           
  Lines       153   153           
==================================
  Hits         90    90           
  Misses       63    63           

@Borda Borda merged commit f4a9331 into main Sep 2, 2023
13 checks passed
@Borda Borda deleted the ci/gpu branch September 2, 2023 00:05
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant