feat: benchmark setup #24
Triggered via pull request
September 25, 2024 18:46
alexkeizer
Status
Failure
Total duration
1m 40s
Artifacts
–
copyright-header.yml
on: pull_request
check-lean-files
5s
Annotations
1 error
|
check-lean-files
Process completed with exit code 1.
|