Unsoundness checks

feat: Change `TypeParam::USize` to `TypeParam::BoundedNat` and use in… #138

Sign in to view logs

Triggered via push August 24, 2023 10:34

github-merge-queue[bot]

Status Success

Total duration 4m 37s

Artifacts –

unsoundness.yml

on: push