[#14968] perf: cache the innermost scope state in ScopedEnvExtension.StateStack - #30
Draft
downstream-lean4[bot] wants to merge 1 commit into
Draft
[#14968] perf: cache the innermost scope state in ScopedEnvExtension.StateStack#30downstream-lean4[bot] wants to merge 1 commit into
ScopedEnvExtension.StateStack#30downstream-lean4[bot] wants to merge 1 commit into
Annotations
2 errors
|
Fail if critical repos are not green
Process completed with exit code 1.
|
|
Fail if critical repos are not green
At least one critical repo failed.
|
background
wait
wait-all
cancel
parallel
Loading