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