Build and Report Generation

Adds support for dynamic dispatch in evaluation #3378

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test (11)	7m 20s
randomized-test (11)	8m 3s
test (17)	6m 59s
randomized-test (17)	7m 47s
	30m 9s