Merge pull request #1398 from herbie-fp/update-rival-version #4658

Job	Run time
distribute (windows-latest, x64)	6m 49s
distribute (macos-13, x64)	17m 34s
distribute (macos-latest, aarch64)	5m 57s
distribute (ubuntu-latest, x64)	3m 12s
	33m 32s

Provide feedback