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

chore(docs): update compiled doc files #186

Merged
merged 2 commits into from
Apr 12, 2024
Merged

chore(docs): update compiled doc files #186

merged 2 commits into from
Apr 12, 2024

Conversation

VebjornG
Copy link
Contributor

Update the documentation

@VebjornG VebjornG marked this pull request as ready for review April 11, 2024 16:44
@VebjornG VebjornG requested review from a team and dbrattli April 11, 2024 16:44
Copy link

codecov bot commented Apr 11, 2024

Codecov Report

Merging #186 (8894337) into main (b006d7f) will increase coverage by 0.62%.
The diff coverage is n/a.

Additional details and impacted files
@@            Coverage Diff             @@
##             main     #186      +/-   ##
==========================================
+ Coverage   90.74%   91.37%   +0.62%     
==========================================
  Files         105      105              
  Lines        3837     3837              
  Branches      832      832              
==========================================
+ Hits         3482     3506      +24     
+ Misses        227      206      -21     
+ Partials      128      125       -3     

see 6 files with indirect coverage changes

Copy link

github-actions bot commented Apr 11, 2024

Unit Test Results

    21 files  +    7      21 suites  +7   56m 46s ⏱️ + 28m 3s
 1 103 tests ±    0   1 103 ✅ ±    0   0 💤 ±0  0 ❌ ±0 
15 651 runs  +4 023  15 640 ✅ +4 017  11 💤 +6  0 ❌ ±0 

Results for commit 8894337. ± Comparison against base commit b006d7f.

♻️ This comment has been updated with latest results.

@VebjornG VebjornG merged commit ec135c6 into main Apr 12, 2024
31 checks passed
@VebjornG VebjornG deleted the build-docs branch April 12, 2024 06:43
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