Merge "CI: Add GHA for verification"