Check for copyright header

refactor: let Nat.mod reduce more #1713

Sign in to view logs

Triggered via pull request May 13, 2024 08:59

nomeata

synchronize #4145

joachim/better-nat-mod

Status Success

Total duration 29s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files