Check for copyright header

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

Sign in to view logs

Triggered via pull request October 2, 2024 10:50

TwoFX

synchronize #5594

list-min-cons

Status Success

Total duration 24s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files