Merge immediately if branch is up to date and passes tests#397
Merged
dknopik merged 2 commits intosigp:stablefrom Jun 27, 2025
Merged
Merge immediately if branch is up to date and passes tests#397dknopik merged 2 commits intosigp:stablefrom
dknopik merged 2 commits intosigp:stablefrom