Closed jeromekelleher closed 3 months ago
coverage: 98.561%. remained the same when pulling 0d6dd36ff11ba31f85021d19e7e3afc1ebc32059 on jeromekelleher:improve-casts2 into 6dd3c7d9ea982003effdd5164c6096097d2c30bc on sgkit-dev:main.
coverage: 98.561%. remained the same when pulling 0d6dd36ff11ba31f85021d19e7e3afc1ebc32059 on jeromekelleher:improve-casts2 into 6dd3c7d9ea982003effdd5164c6096097d2c30bc on sgkit-dev:main.