chore: add commented set_option trace.profiler true for easy logging … #177
Annotations
1 warning
Run leanprover/lean-action@v1
Cache save failed.
|
Loading