Add missing `temp_env` parameter to `Clight.eval_expr`'s documentation #49

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
macos	5m 21s
linux (aarch64)	7m 33s
linux (arm)	9m 59s
linux (ppc)	9m 21s
linux (riscv)	7m 15s
linux (x86_32)	6m 12s
linux (x86_64)	6m 23s
	52m 4s