Skip to content

Make sure size_test CI uses -Wall -Werror#8016

Merged
mergennachin merged 1 commit intomainfrom
wall
Feb 11, 2025
Merged

Make sure size_test CI uses -Wall -Werror#8016
mergennachin merged 1 commit intomainfrom
wall

Commits

Commits on Feb 11, 2025