Check for copyright header

feat: add BitVec.[toNat|toFin|toInt]_[sshiftRight|sshiftRight'] #9357

Sign in to view logs

Triggered via pull request February 25, 2025 07:47

synchronize #7104

opencompl:toInt_sshiftRight

Status Success

Total duration 32s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files