Check for copyright header

feat: automatic attach introduction in well-founded recursion #8299

Sign in to view logs

Triggered via pull request January 30, 2025 21:24

nomeata

synchronize #6744

joachim/auto-attach

Status Success

Total duration 34s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files