Test, Prop Tests, Example Tests

Test Translator, JD and miner setup #5085

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ci (macos-13)	6h 0m 15s
ci (ubuntu-latest)	1h 32m 42s
	7h 32m 57s