Add missing temp_env parameter to documentation of Clight.eval_expr (… #29

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
latest (aarch64)	6m 28s
latest (arm)	5m 45s
latest (ppc)	6m 40s
latest (riscv)	5m 53s
latest (x86_32)	5m 55s
latest (x86_64)	6m 7s
	36m 48s