Skip to content
Check for copyright header

getLsb_sshiftRight #10

Sign in to view logs

getLsb_sshiftRight

getLsb_sshiftRight #10

Triggered via pull request May 15, 2024 17:43
@bollubollu
synchronize #3
bitvec-theorems
Status Success
Total duration 29s
Artifacts –

copyright-header.yml

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