Builds are not run for updates to Github PR

This topic was automatically closed 3 days after the last reply. New replies are no longer allowed.