Check for modules that should use `prelude`

feat: add `BitVec.(toNat, toInt, toFin)_shiftLeftZeroExtend` #457

Sign in to view logs

Triggered via pull request March 24, 2025 13:37

synchronize #47

shiftLeftZeroExtend

Status Success

Total duration 14s

Artifacts –

check-prelude.yml

on: pull_request