6365119904
92%

Ran 30 Sep 2023 07:39PM UTC

Jobs 1

Files 69

Run time 4s

Badge

Committed 30 Sep 2023 07:24PM UTC coverage: 91.223% (-0.003%) from 91.226%

Build Type

push

github

Committed by

Commit Message

Fix crash with concurrent assignment to array of records

Fixes #765

Run Details

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

48649 of 53330 relevant lines covered (91.22%)

633368.83 hits per line

Lines	Coverage	∆	File
1	88.97	-0.18%	src/thread.c
45	85.13	-0.01%	src/vhpi/vhpi-model.c
150	96.8	-0.0%	src/lower.c

ID	Job ID	Ran	Files	Coverage
1	6365119904.1	30 Sep 2023 07:39PM UTC	69	91.22	GitHub Action Run