Check for copyright header

perf: `expr_eq_fn` #3583

Sign in to view logs

Triggered via pull request August 6, 2024 23:47

leodemoura

opened #4934

expr_eq_perf

Status Success

Total duration 31s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files