draft: A naive compile time speed up of recipe steps (and some tools for) #60
dafnapensionperformance.yml
on: pull_request
run-performance-tests
2m 30s
Annotations
1 error
|
run-performance-tests
Process completed with exit code 1.
|