Repository navigation

Build

Stricter formal semantics for `free` #262

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
macos	9m 8s
linux (ppc)	10m 18s
linux (arm)	10m 7s
linux (x86_32)	6m 15s
linux (aarch64)	9m 10s
linux (riscv)	8m 24s
linux (x86_64)	6m 42s
	1h 0m 4s