Raise an error when postconditions of pure functions contain old() expressions #7283

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-deps	11m 0s
fmt-check	20s
clippy-check	4m 6s
quick-tests	8m 7s
smir-check	6s
test-on-prusti	0s
all-tests	0s
purification-tests	0s
release-build	0s
test-crates	0s
can-merge	9s
	23m 48s