Skip to content
Back to pull request #612

replace .size() == 0 with empty() #1940

Sign in to view logs

replace .size() == 0 with empty()

replace .size() == 0 with empty() #1940

Run time

Learn about OS pricing on GitHub Actions
Job Run time
ubuntu-build (ON)
1m 24s
ubuntu-build (OFF)
1m 21s
2m 45s