9771005061
97%

Ran 03 Jul 2024 02:39AM UTC

Jobs 1

Files 16

Run time 1min

Badge

Committed 03 Jul 2024 02:38AM UTC coverage: 100.0%. Remained the same

Build Type

push

github

Committed by

Commit Message

Traversal generalization (#14)

* Generalize traversals.

* Generalize traversals.

Run Details

25 of 25 new or added lines in 6 files covered. (100.0%)

725 of 725 relevant lines covered (100.0%)

4.52 hits per line

ID	Job ID	Ran	Files	Coverage
1	9771005061.1	03 Jul 2024 02:39AM UTC	16	100.0	GitHub Action Run