Check for copyright header

feat: enhance the rewriting rules of bv_decide #4772

Sign in to view logs

Triggered via pull request September 23, 2024 08:49

hargoniX

opened #5423

hbv/bv_decide_rewrite

Status Success

Total duration 33s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files