Skip to content

feat: add BitVec.toInt_sub, simplify BitVec.toInt_neg #5443

feat: add BitVec.toInt_sub, simplify BitVec.toInt_neg

feat: add BitVec.toInt_sub, simplify BitVec.toInt_neg #5443

Triggered via pull request October 19, 2024 18:20
Status Success
Total duration 16s
Artifacts

check-prelude.yml

on: pull_request
check-prelude
6s
check-prelude
Fit to window
Zoom out
Zoom in