Check for copyright header

chore: induction-friendly `List.min?_cons` #5167

Sign in to view logs

Triggered via pull request October 2, 2024 10:52

TwoFX

synchronize #5594

list-min-cons

Status Success

Total duration 25s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files