Check for modules that should use `prelude`

refactor: redefine unsigned fixed width integers in terms of BitVec #4388

Sign in to view logs

Triggered via pull request September 12, 2024 14:19

hargoniX

opened #5323

hbv/uint-bitvec-redefine

Status Success

Total duration 14s

Artifacts –

check-prelude.yml

on: pull_request