Merge branch 'private/edvint/redo_report' into feature/perf #1075

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Deprecation tests	17s
Python tests (2.7)	47s
Ocaml tests	12m 58s
Python tests (3.11)	52s
	14m 54s