Skip to content

Define and use a new jmpbuf, because the structure is different.#29

Merged
winlinvip merged 1 commit intosrsfrom
feature/define-jmpbuf
Sep 1, 2022
Merged

Define and use a new jmpbuf, because the structure is different.#29
winlinvip merged 1 commit intosrsfrom
feature/define-jmpbuf

Conversation

@winlinvip
Copy link
Copy Markdown
Member

No description provided.

@winlinvip winlinvip requested a review from xiaozhihong August 7, 2022 00:44
@codecov-commenter
Copy link
Copy Markdown

codecov-commenter commented Aug 7, 2022

Codecov Report

Base: 45.21% // Head: 45.21% // No change to project coverage 👍

Coverage data is based on head (839eb17) compared to base (6df526e).
Patch coverage: 25.00% of modified lines in pull request are covered.

Additional details and impacted files
@@           Coverage Diff           @@
##              srs      #29   +/-   ##
=======================================
  Coverage   45.21%   45.21%           
=======================================
  Files          10       10           
  Lines        1307     1307           
=======================================
  Hits          591      591           
  Misses        716      716           
Impacted Files Coverage Δ
sched.c 65.44% <25.00%> (ø)

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

☔ View full report at Codecov.
📢 Do you have feedback about the report comment? Let us know in this issue.

@winlinvip winlinvip force-pushed the feature/define-jmpbuf branch 3 times, most recently from 9d87f24 to 71cc0f4 Compare August 7, 2022 01:02
@winlinvip winlinvip force-pushed the feature/define-jmpbuf branch from 71cc0f4 to c15dc0d Compare August 24, 2022 02:17
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