Check for modules that should use `prelude`

feat: prove that `intMin` is indeed the smallest signed bitvector #5452

Sign in to view logs

Triggered via pull request October 19, 2024 23:22

alexkeizer

opened #5778

opencompl:toInt_intMin_le

Status Success

Total duration 12s

Artifacts –

check-prelude.yml

on: pull_request