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

Area docs (P3) #188

Merged
merged 1 commit into from
Aug 24, 2023
Merged

Area docs (P3) #188

merged 1 commit into from
Aug 24, 2023

Conversation

rorlija1
Copy link
Contributor

Purpose

To-do

Content


  • I have read and checked the items on the review checklist.

@codecov
Copy link

codecov bot commented Aug 23, 2023

Codecov Report

Patch and project coverage have no change.

Comparison is base (1e82cac) 98.19% compared to head (4571edf) 98.19%.

❗ Current head 4571edf differs from pull request most recent head b3af266. Consider uploading reports for the commit b3af266 to get more accurate results

Additional details and impacted files
@@           Coverage Diff           @@
##             main     #188   +/-   ##
=======================================
  Coverage   98.19%   98.19%           
=======================================
  Files          13       13           
  Lines         887      887           
=======================================
  Hits          871      871           
  Misses         16       16           
Files Changed Coverage Δ
src/P3Scheme.jl 100.00% <ø> (ø)

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@rorlija1 rorlija1 changed the title Area docs (P3) (rebase) Area docs (P3) Aug 23, 2023
@trontrytel trontrytel self-requested a review August 23, 2023 20:13
@trontrytel trontrytel added the P3 label Aug 23, 2023
@trontrytel trontrytel linked an issue Aug 23, 2023 that may be closed by this pull request
Copy link
Member

@trontrytel trontrytel left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you!

@trontrytel
Copy link
Member

bors r+

@bors
Copy link
Contributor

bors bot commented Aug 24, 2023

Build succeeded!

The publicly hosted instance of bors-ng is deprecated and will go away soon.

If you want to self-host your own instance, instructions are here.
For more help, visit the forum.

If you want to switch to GitHub's built-in merge queue, visit their help page.

@bors bors bot merged commit 0519c40 into main Aug 24, 2023
8 checks passed
@bors bors bot deleted the ro/area_rebase branch August 24, 2023 00:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Add a(D) relationship
2 participants