1
63%
main: 63%

Ran 01 May 2026 08:01PM UTC

Files 34

Run time 1s

Badge

Embed ▾

Committed 01 May 2026 08:01PM UTC coverage: 62.897% (+0.06%) from 62.839%

Job # 25230743663.1

Build Type

push

github

Committed by

web-flow

Commit Message

Make EdtScheduler flags private, add request_init/request_deinit (#38)

* 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 instead of field access.

* 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.

Coverage Stats

3604 of 5730 relevant lines covered (62.9%)

768.52 hits per line

kaidokert / rm32 / 25230743663 / 1
63%
main: 63%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 25230743663.1

kaidokert / rm32 / 25230743663 / 1 63% main: 63%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Source Files on job 25230743663.1

kaidokert / rm32 / 25230743663 / 1
63%
main: 63%

README BADGES
x