Auto Merge On Demand

Resolve bash compatibility issue for macOS #4238

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
gather-pull-requests	3s
Validation of Pull Request #427	11s
	14s