Rename deprecated `push_redirect` to `push_navigate` (#444) #1125

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
npm test	23s
mix_test (1.14.5, 24.3)	1m 29s
mix_test (1.15.6, 26.0.2, lint)	2m 15s
	4m 7s