Check Copyright Header

feat(ErdosProblems): 1139 #3970

Sign in to view logs

Triggered via pull request January 25, 2026 12:07

danielchin

opened #1890

danielchin:erdos-1139

Status Success

Total duration 6s

Artifacts –

check_copyright_header.yml

on: pull_request

check-copyright