Check for copyright header

feat: lemmas relating Array.findX and List.findX #6112

Sign in to view logs

Triggered via pull request November 7, 2024 03:13

kim-em

synchronize #5985

findSomeM

Status Success

Total duration 29s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files