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

Update changelog #1661

Merged
merged 1 commit into from
Sep 25, 2020
Merged

Update changelog #1661

merged 1 commit into from
Sep 25, 2020

Conversation

mmcgr
Copy link
Member

@mmcgr mmcgr commented Sep 25, 2020

No description provided.

@codecov
Copy link

codecov bot commented Sep 25, 2020

Codecov Report

Merging #1661 into master will increase coverage by 0.13%.
The diff coverage is n/a.

Impacted file tree graph

@@            Coverage Diff             @@
##           master    #1661      +/-   ##
==========================================
+ Coverage   73.18%   73.31%   +0.13%     
==========================================
  Files         167      167              
  Lines       10750    10750              
==========================================
+ Hits         7867     7881      +14     
+ Misses       2883     2869      -14     
Flag Coverage Δ
#full ?
#unit ?

Flags with carried forward coverage won't be shown. Click here to find out more.

Impacted Files Coverage Δ
src/include/souffle/datastructure/Brie.h 86.23% <0.00%> (-0.12%) ⬇️
src/include/souffle/datastructure/BTree.h 83.69% <0.00%> (+1.50%) ⬆️
src/include/souffle/profile/ProfileEvent.h 97.36% <0.00%> (+5.26%) ⬆️

@mmcgr mmcgr merged commit b33abd3 into souffle-lang:master Sep 25, 2020
@mmcgr mmcgr deleted the changelog branch September 25, 2020 05:56
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.

2 participants