Check for copyright header

refactor: deriving DecidableEq to use `termination_by structural` #3438

Sign in to view logs

Triggered via pull request July 29, 2024 14:07

nomeata

synchronize #4826

joachim/decEq-structural

Status Success

Total duration 29s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files