Check for copyright header

chore: move BitVec.udiv/umod/sdiv/smod after add/sub/mul/lt #5243

Sign in to view logs

Triggered via pull request October 6, 2024 07:17

opened #5623

opencompl:move_sdivmod

Status Success

Total duration 33s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files