Check for copyright header

fix: goto-definition for binrel% operators #20952

Sign in to view logs

Triggered via pull request December 9, 2025 08:32

alok

opened #11558

alok:fix-binrel-goto-def

Status Success

Total duration 40s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files