Check for copyright header

feat: `lift_match` simproc and conv tactic #6060

Sign in to view logs

Triggered via pull request November 5, 2024 11:53

nomeata

synchronize #5923

joachim/float-match

Status Success

Total duration 29s

Billable time 1m

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files