Check for copyright header

fix: unknown identifier code actions with nested `open` #18329

Sign in to view logs

Triggered via pull request September 29, 2025 15:03

mhuisi

opened #10619

mhuisi:mhuisi/nested-open-unknown-identifier

Status Success

Total duration 29s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files