Skip to content

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

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

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

Triggered via pull request February 20, 2025 23:13
Status Success
Total duration 10s
Artifacts

pr-body.yml

on: pull_request
check-pr-body
1s
check-pr-body
Fit to window
Zoom out
Zoom in