1
93%
main: 42%

Ran 02 Apr 2026 10:18AM UTC

Files 34

Run time 1s

Badge

Committed 02 Apr 2026 10:17AM UTC coverage: 92.903% (+0.4%) from 92.53%

Build Type

push

github

Committed by

Commit Message

Feature/upsert config (#12)

* derived config db upsert

---------

Co-authored-by: Thomas Zajac <thomas-jakob.zajac@uni-tuebingen.de>

Coverage Stats

576 of 620 relevant lines covered (92.9%)

0.93 hits per line