Build

SymEx: Restrict and sort imports #4417

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (windows-latest)	25m 59s
extra-tests (ubuntu-latest)	9m 19s
nix-build (osx-x64)	21m 12s
nix-build (osx-arm64)	6h 0m 17s
extra-tests (macos-15)	9m 42s
nix-build (linux-x64)	10m 17s
cabal-check	2m 12s
	7h 18m 58s