Skip to content

Merge pull request #5947 from henning-gerhardt/replace_size_by_isEmpty #18

Merge pull request #5947 from henning-gerhardt/replace_size_by_isEmpty

Merge pull request #5947 from henning-gerhardt/replace_size_by_isEmpty #18

Triggered via push February 28, 2024 11:53
Status Success
Total duration 5m 9s
Artifacts

codeql.yml

on: push
Matrix: Analyze
Fit to window
Zoom out
Zoom in