Check for copyright header

feat: add BitVec.toNat_[abs|sdiv|smod] #4959

Sign in to view logs

Triggered via pull request September 27, 2024 09:24

synchronize #5491

opencompl:more_to_nat

Status Success

Total duration 31s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files