Audit usages of `fold_right` · goblint/analyzer@c13bcc3

Triggered via pull request February 18, 2025 15:50

opened #1688

issue_1536

Status Success

Total duration 25m 59s

Artifacts 2

locked.yml

on: pull_request

Matrix: extraction

Matrix: gobview

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-13 Expired	2.82 MB	`sha256:ad3e83bac7eb274b84e5bd8a8f581e6c0b29b8f964c7cef86b30475f6403774e`
suite_result-ubuntu-22.04 Expired	2.8 MB	`sha256:b0b04e0307ed6c3c1cd27a5ebf06f70ed5355464be7294ced5e2159335a32fc5`