Check for copyright header

chore: fix `all_goals` test, simulate the max rec depth error #6066

Sign in to view logs

Triggered via pull request November 5, 2024 19:35

kmill

opened #5967

kmill:all_goals_tests

Status Success

Total duration 32s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files