Check for copyright header and too-big Lean imports

chore: add nightly testing YAML to test with #107

Sign in to view logs

Triggered via pull request August 9, 2024 07:15

david-christiansen

opened #138

nightly-testing-yaml

Status Success

Total duration 14s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files