Simplify WITH expression over structs with a single component · diffblue/cbmc@b87c98a

Triggered via pull request October 31, 2025 14:26

tautschnig

synchronize #8724

Status Success

Total duration 3m 23s

Artifacts –

pull-request-check-rust-api.yaml

on: pull_request

6 warnings and 1 notice

Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.

Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.

ninja 1.13.1 is already installed and up-to-date. To reinstall 1.13.1, run: brew reinstall ninja

cmake 4.1.1 is already installed and up-to-date. To reinstall 4.1.1, run: brew reinstall cmake

Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.

Input 'save-always' has been deprecated with message: save-always does not work as intended and will be removed in a future release. A separate `actions/cache/restore` step should be used instead. See https://github.com/actions/cache/tree/main/save#always-save-cache for more details.

The macOS-13 based runner images are being deprecated, consider switching to macOS-15 (macos-15-intel) or macOS 15 arm64 (macos-latest) instead. For more details see https://github.com/actions/runner-images/issues/13046