Check for copyright header

feat: improve bv_normalize rules for Prop and == #4996

Sign in to view logs

Triggered via pull request September 28, 2024 09:03

hargoniX

opened #5506

hbv/bv_decide_preproc_failure

Status Success

Total duration 32s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files