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

Make DojoEnvironment files copyable #87

Merged
merged 1 commit into from
Jun 4, 2023
Merged

Conversation

janbruedigam
Copy link
Member

No description provided.

@codecov
Copy link

codecov bot commented Jun 4, 2023

Codecov Report

Merging #87 (a27cd9e) into main (7b6c368) will decrease coverage by 0.04%.
The diff coverage is n/a.

❗ Current head a27cd9e differs from pull request most recent head 4a95730. Consider uploading reports for the commit 4a95730 to get more accurate results

@@            Coverage Diff             @@
##             main      #87      +/-   ##
==========================================
- Coverage   87.51%   87.47%   -0.04%     
==========================================
  Files          89       89              
  Lines        5086     5086              
==========================================
- Hits         4451     4449       -2     
- Misses        635      637       +2     

see 1 file with indirect coverage changes

@janbruedigam janbruedigam merged commit e49c633 into main Jun 4, 2023
@janbruedigam janbruedigam deleted the jan/env_copyable branch June 4, 2023 09:19
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.

1 participant