[GitHub] Add write permissions to filter_build job#5837

hugtalbot wants to merge 1 commit intomastersofa-framework/sofa:masterfrom

hugtalbot-patch-1sofa-framework/sofa:hugtalbot-patch-1Copy head branch name to clipboard