Skip to content
CI

fix: Fix bug in Slice.size, prove size d <= d #140

Sign in to view logs

fix: Fix bug in Slice.size, prove size d <= d

fix: Fix bug in Slice.size, prove size d <= d #140

Triggered via pull request March 7, 2025 02:38
@seanmclseanmcl
opened #49
sm/size-proof
Status Success
Total duration 58s
Artifacts –

ci.yml

on: pull_request
build
50s
build
Fit to window
Zoom out
Zoom in