Skip to content

The scratch-pool lock is the guard's API rather than a convention, because one caller had skipped it - #1246

Merged
Rafael-SOWNet merged 1 commit into
masterfrom
determinant-lock
Sep 10, 2026
Merged

The scratch-pool lock is the guard's API rather than a convention, because one caller had skipped it#1246
Rafael-SOWNet merged 1 commit into
masterfrom
determinant-lock

The scratch-pool lock is the guard's API rather than a convention, be…

c40ff36
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar