CI

Rename deprecated `push_redirect` to `push_navigate` #1124

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
npm test	16s
mix_test (1.14.5, 24.3)	1m 27s
mix_test (1.15.6, 26.0.2, lint)	2m 6s
	3m 49s