Check for copyright header

chore: remove trivial from get_elem_tactic #6113

Sign in to view logs

Triggered via pull request November 7, 2024 04:36

kim-em

opened #5986

rm_get_elem_tactic_trivial

Status Success

Total duration 30s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files