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

3 warnings

windows-latest (4.2)

succeeded Mar 7, 2024 in 6m 47s