Check for copyright header

feat: add ac_nf and test [ac_nf|ac_rfl] for BitVec #5059

Sign in to view logs

Triggered via pull request September 30, 2024 04:26

synchronize #5524

opencompl:ac_nf

Status Success

Total duration 25s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files