Skip to content

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

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

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

Triggered via issue March 7, 2024 08:24
@thomasp85thomasp85
commented on #88 e4b5d35
Status Skipped
Total duration 3s
Artifacts

pr-commands.yaml

on: issue_comment
Fit to window
Zoom out
Zoom in