• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

kaidokert / rm32
63%
main: 63%

Build:
Build:
LAST BUILD BRANCH: tmps
DEFAULT BRANCH: main
Repo Added 28 Apr 2026 02:48PM UTC
Token gSHfNNG4C2ue8Ih3dj51cwDeonsyNzdup regen
Build 247 Last
Files 34
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH pr32_1
branch: pr32_1
CHANGE BRANCH
x
Reset
Sync Branches
  • pr32_1
  • main
  • pr1
  • pr10_1
  • pr11_1
  • pr12_1
  • pr13_1
  • pr14_1
  • pr15_1
  • pr16_1
  • pr17_1
  • pr18_1
  • pr19_1
  • pr20_1
  • pr21_1
  • pr22_1
  • pr23_1
  • pr24_1
  • pr25_1
  • pr26_1
  • pr27_1
  • pr28_1
  • pr29_1
  • pr2_1
  • pr2_2
  • pr2_3
  • pr2_4
  • pr2_5
  • pr2_6
  • pr2_7
  • pr2_ref
  • pr30_1
  • pr31_1
  • pr33_1
  • pr34_1
  • pr3_1
  • pr5_1
  • pr7_1
  • pr8_1
  • pr_codecov1
  • pr_codecov2
  • system-tick
  • tmps

01 May 2026 07:54PM UTC coverage: 62.897% (+0.06%) from 62.839%
25230510781

Pull #38

github

kaidokert
Verify init one-shot is consumed in test

Call next_frame() a second time and assert it does NOT produce another
init frame, verifying the request_init flag was cleared after first use.
Pull Request #38: Make EdtScheduler flags private, add request_init/request_deinit

12 of 13 new or added lines in 1 file covered. (92.31%)

3604 of 5730 relevant lines covered (62.9%)

768.52 hits per line

Relevant lines Covered
Build:
Build:
5730 RELEVANT LINES 3604 COVERED LINES
768.52 HITS PER LINE
Source Files on pr32_1
  • Tree
  • List 34
  • Changed 1
  • Source Changed 1
  • Coverage Changed 1
Coverage ∆ File Lines Relevant Covered Missed Hits/Line

Recent builds

Builds Branch Commit Type Ran Committer Via Coverage
25230510781 pr32_1 Verify init one-shot is consumed in test Call next_frame() a second time and assert it does NOT produce another init frame, verifying the request_init flag was cleared after first use. Pull #38 01 May 2026 07:55PM UTC kaidokert github
62.9
25229845220 pr32_1 Make EdtScheduler send_init/send_deinit private, add request methods Replace pub flag fields with request_init()/request_deinit() setters. Firmware ISR handler now calls request methods instead of writing flags directly. Tests use the public API ... Pull #38 01 May 2026 07:37PM UTC kaidokert github
62.88
See All Builds (166)

Badge your Repo: rm32

We detected this repo isn’t badged! Grab the embed code to the right, add it to your repo to show off your code coverage, and when the badge is live hit the refresh button to remove this message.

Could not find badge in README.

Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

Refresh
  • Settings
  • Repo on GitHub
STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2026 Coveralls, Inc