Check for copyright header

fix: swap `Nat.zero_or` and `Nat.or_zero` #1622

Sign in to view logs

Triggered via pull request May 7, 2024 18:38

fgdorais

opened #4094

fgdorais:fix-typo

Status Success

Total duration 26s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files