15873019910
88%

Ran 25 Jun 2025 10:00AM UTC

Jobs 1

Files 511

Run time 2min

Badge

Committed 25 Jun 2025 09:45AM UTC coverage: 87.517% (-0.003%) from 87.52%

Build Type

push

github

Committed by

Commit Message

gitignore: add generated TLA+ Makefile

NO_TEST=no code changes
NO_CHANGELOG=same
NO_DOC=same

Run Details

70447 of 124139 branches covered (56.75%)

103595 of 118371 relevant lines covered (87.52%)

2782963.18 hits per line

Lines	Coverage	∆	File
1	90.7	-0.07%	src/box/applier.cc
1	92.58	0.09%	src/box/vinyl.c
1	94.99	0.0%	src/box/vy_read_iterator.c
1	88.01	-0.07%	src/box/vy_run.c
1	89.31	0.06%	src/box/xrow.c
1	92.94	0.01%	src/lib/core/fiber.c
1	96.55	-1.15%	src/lib/core/histogram.c
1	90.38	-1.77%	src/lib/core/trigger.cc
1	96.15	-0.05%	src/lib/salad/bps_tree.h
1	95.24	-1.59%	src/lib/small/include/small/quota.h
1	91.68	-0.11%	src/lib/swim/swim.c
1	22.64	-0.02%	src/lib/uri/uri_parser.c
2	93.05	-0.38%	src/box/xrow_update_field.c
2	97.36	-0.1%	src/lib/msgpuck/msgpuck.h
3	97.42	-0.2%	src/box/memtx_tx.c
3	90.9	-0.31%	src/box/vy_scheduler.c
4	93.81	-0.62%	src/box/memtx_space.c
4	93.31	-1.27%	src/lib/swim/swim_io.c
4	81.82	-12.12%	src/lua/minifio.c

ID	Job ID	Ran	Files	Coverage
1	15873019910.1	25 Jun 2025 10:00AM UTC	511	87.52	GitHub Action Run