Check for copyright header

perf: do not lint unused variables defined in tactics by default #5120

Sign in to view logs

Triggered via pull request October 1, 2024 15:26

Kha

synchronize #5338

Kha:unused-in-tactics

Status Success

Total duration 24s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files