Back to pull request #3979

Fix the bug: Loop contracts are not composable with function contracts #10212

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
perf	47m 26s
regression (macos-13)	1h 18m 57s
benchcomp-tests	3m 54s
regression (macos-14)	29m 50s
regression (ubuntu-22.04)	39m 11s
documentation	2m 20s
regression (ubuntu-24.04)	36m 8s
llbc-regression	4m 12s
	4h 1m 58s