2
92%
master: 92%

Ran 30 Apr 2025 11:35AM UTC

Files 111

Run time 6s

Badge

Committed 30 Apr 2025 08:53AM UTC coverage: 77.41% (-0.01%) from 77.421%

Build Type

push

github

Committed by

Commit Message

Merge pull request #1621 from brian-team/interrupt_hook

Interrupt hook (graceful stop with Ctrl+C)

Run Details

2053 of 2666 branches covered (77.01%)

12597 of 16273 relevant lines covered (77.41%)

0.77 hits per line