coverage: 98.834% (-0.04%) from 98.877%
when pulling 19a5dcfdf4e28088e3e8c590740a445e7a4ac796 on jeromekelleher:doc-updates
into 6504819829408ee1a4a9c0520bcb912697420df7 on sgkit-dev:main.
coverage: 98.877%. remained the same
when pulling 19a5dcfdf4e28088e3e8c590740a445e7a4ac796 on jeromekelleher:doc-updates
into 6504819829408ee1a4a9c0520bcb912697420df7 on sgkit-dev:main.
Closes #229