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

Enabling souffle-lang/souffle GitHub dependency graph with vcpk (#2427) #2428

Merged
merged 1 commit into from Aug 9, 2023

Conversation

quentin
Copy link
Member

@quentin quentin commented Jul 30, 2023

integrate GitHub dependency-graph

@quentin quentin requested a review from b-scholz July 30, 2023 07:55
@codecov
Copy link

codecov bot commented Jul 30, 2023

Codecov Report

Merging #2428 (0515002) into master (2914f7b) will increase coverage by 0.13%.
Report is 14 commits behind head on master.
The diff coverage is 70.24%.

Additional details and impacted files

Impacted file tree graph

@@            Coverage Diff             @@
##           master    #2428      +/-   ##
==========================================
+ Coverage   77.75%   77.88%   +0.13%     
==========================================
  Files         474      479       +5     
  Lines       31164    31408     +244     
==========================================
+ Hits        24232    24463     +231     
- Misses       6932     6945      +13     
Files Changed Coverage Δ
src/ast/QualifiedName.h 94.11% <ø> (ø)
src/ast/analysis/typesystem/Type.cpp 47.37% <0.00%> (-0.47%) ⬇️
src/ast/analysis/typesystem/Type.h 50.00% <ø> (ø)
...c/ast/analysis/typesystem/TypeConstrainsAnalysis.h 100.00% <ø> (ø)
src/ast2ram/seminaive/ValueTranslator.h 100.00% <ø> (ø)
src/ast2ram/utility/TranslatorContext.h 100.00% <ø> (ø)
src/include/souffle/profile/Cell.h 0.00% <0.00%> (ø)
src/include/souffle/profile/CellInterface.h 0.00% <ø> (ø)
src/include/souffle/profile/OutputProcessor.h 0.00% <0.00%> (ø)
src/include/souffle/profile/ProgramRun.h 36.58% <0.00%> (+7.31%) ⬆️
... and 35 more

... and 6 files with indirect coverage changes

@quentin
Copy link
Member Author

quentin commented Aug 9, 2023

For the story, a GitHub representative contacted me to test their new dependency graph integration for C++ projects based on vcpkg.

Instructions that I followed:
https://learn.microsoft.com/en-us/vcpkg/github-integration#dependency-graph

Relates to:
https://docs.github.com/en/code-security/supply-chain-security/understanding-your-software-supply-chain/about-supply-chain-security

@quentin quentin merged commit 63d6684 into master Aug 9, 2023
30 checks passed
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.

None yet

2 participants