Skip to content

Comments

docs: document the existence of pygaul#38

Merged
12rambau merged 1 commit intomainfrom
names
Aug 14, 2023
Merged

docs: document the existence of pygaul#38
12rambau merged 1 commit intomainfrom
names

Conversation

@12rambau
Copy link
Owner

Fix #34

@codecov
Copy link

codecov bot commented Aug 14, 2023

Codecov Report

Merging #38 (9e6b9b3) into main (122065b) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main      #38   +/-   ##
=======================================
  Coverage   97.59%   97.59%           
=======================================
  Files           1        1           
  Lines          83       83           
=======================================
  Hits           81       81           
  Misses          2        2           

@12rambau 12rambau marked this pull request as ready for review August 14, 2023 19:37
@12rambau 12rambau merged commit 3a94536 into main Aug 14, 2023
@12rambau 12rambau deleted the names branch August 14, 2023 19:37
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.

ref to pygaul for EE users

1 participant