Check for copyright header

feat: `lift_match` simproc and conv tactic #6064

Sign in to view logs

Triggered via pull request November 5, 2024 16:03

nomeata

synchronize #5923

joachim/float-match

Status Success

Total duration 31s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files