Check for copyright header

chore: upstream `List.findIdx` lemmas #3742

Sign in to view logs

Triggered via pull request August 12, 2024 03:56

kim-em

opened #4995

upstream_findIdx_lemmas

Status Success

Total duration 31s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files