Skip to content
Check for copyright header

getLsb_sshiftRight #5

Sign in to view logs

getLsb_sshiftRight

getLsb_sshiftRight #5

Triggered via pull request May 13, 2024 21:58
@bollubollu
opened #3
bitvec-theorems
Status Success
Total duration 27s
Artifacts –

copyright-header.yml

on: pull_request
check-lean-files
18s
check-lean-files
Fit to window
Zoom out
Zoom in