Raise an error when postconditions of pure functions contain old() expressions #7281
Triggered via pull request
November 28, 2023 05:30
zgrannan
Status
Cancelled
Total duration
4m 15s
Artifacts
–
test.yml
on: pull_request
fmt-check
27s
clippy-check
3m 57s
check-deps
3m 41s
smir-check
4s
quick-tests
3m 4s
can-merge
2s
Annotations
6 errors
|
fmt-check
Process completed with exit code 1.
|
|
quick-tests
Process completed with exit code 101.
|
|
check-deps
Process completed with exit code 1.
|
|
clippy-check
Canceling since a higher priority waiting request for 'worflow-Test-1474' exists
|
|
clippy-check
The operation was canceled.
|
|
can-merge
Process completed with exit code 1.
|