Skip to content

use .empty() instead of .size()==0 (#88) #159

use .empty() instead of .size()==0 (#88)

use .empty() instead of .size()==0 (#88) #159

Annotations

4 warnings

windows-latest (4.1)

succeeded Mar 7, 2024 in 9m 0s