Closed jeromekelleher closed 1 month ago
Closes #231
coverage: 98.877% (+0.003%) from 98.874% when pulling 4bcf2bb6a8f3392cdb591530f0cb8cddab702648 on jeromekelleher:add-warning into d1d3f9ef6daf83930489a603749a588e7d99b453 on sgkit-dev:main.
Closes #231