Check for copyright headers

fix: correct the description of integer representation #360

Sign in to view logs

Triggered via pull request February 7, 2025 09:02

david-christiansen

opened #291

int-fix

Status Success

Total duration 14s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files