Check for modules that should use `prelude`

fix: don't use modulo for UInt upcasting #1167

Sign in to view logs

Triggered via pull request April 20, 2024 15:39

digama0

opened #3960

digama0:uint_upcast

Status Success

Total duration 15s

Artifacts –

check-prelude.yml

on: pull_request