5675300086
94%

Ran 27 Jul 2023 01:04AM UTC

Jobs 4

Files 45

Run time 3s

Badge

Build Type

push

github

Committed by

Commit Message

Add validate_invariants function for manual contract checking (#928)

Co-authored-by: Sarah Wang <sarahxp.wang@mail.utoronto.ca>

Run Details

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

3064 of 3256 relevant lines covered (94.1%)

5.63 hits per line

ID	Job ID	Ran	Files	Coverage
1	run-3.10 - 5675300086.1	27 Jul 2023 01:04AM UTC	84	92.08	GitHub Action Run
2	run-3.9 - 5675300086.2	27 Jul 2023 01:04AM UTC	84	91.56	GitHub Action Run
3	run-3.11 - 5675300086.3	27 Jul 2023 01:04AM UTC	84	92.08	GitHub Action Run
4	run-3.8 - 5675300086.4	27 Jul 2023 01:04AM UTC	84	91.62	GitHub Action Run