Check Copyright Header

feat(ErdosProblems): 794 #3719

Sign in to view logs

Re-run triggered January 22, 2026 15:41

YaelDillies

#1739

alphacolony:main

Status Success

Total duration 10s

Artifacts –

check_copyright_header.yml

on: pull_request

check-copyright