Github CI

Do not store recursive trees anymore in inductive blocks. #4205

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Linux (latest OCaml)	6m 53s
Windows	32m 22s
macOS	17m 15s
	56m 30s