Check for copyright header

feat: add combinators for more fine-grained benchmarking #67

Sign in to view logs

Triggered via pull request September 26, 2024 20:55

alexkeizer

synchronize #198

benchmarks-v2

Status Success

Total duration 15s

Artifacts –

copyright-header.yml

on: pull_request

check-lean-files