Raise an error when postconditions of pure functions contain old() expressions #7283
Triggered via pull request
November 28, 2023 05:40
zgrannan
Status
Failure
Total duration
11m 52s
Artifacts
–
test.yml
on: pull_request
fmt-check
20s
clippy-check
4m 6s
check-deps
11m 0s
smir-check
6s
quick-tests
8m 7s
can-merge
9s
Annotations
2 errors
|
clippy-check
Process completed with exit code 101.
|
|
can-merge
Process completed with exit code 1.
|