10237406652
91%

Ran 04 Aug 2024 03:39PM UTC

Jobs 1

Files 24

Run time 1min

Badge

Committed 04 Aug 2024 03:37PM UTC coverage: 87.924% (+0.07%) from 87.854%

Build Type

push

github

Committed by

Commit Message

Added set.Find (#18)

* Added set.Exists and set.Forall methods

* Replaced `Exists`/`Forall` with new `Find` method in `set`

Run Details

7 of 7 new or added lines in 1 file covered. (100.0%)

1063 of 1209 relevant lines covered (87.92%)

1.04 hits per line

ID	Job ID	Ran	Files	Coverage
1	10237406652.1	04 Aug 2024 03:39PM UTC	24	87.92	GitHub Action Run