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

Triggered via push February 18, 2025 15:47

issue_1536

Status Success

Total duration 23m 46s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: gobview

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-13 Expired	2.81 MB	`sha256:c891e479869e75266eb5f1995254151c9505575a16aa269138d7c4d392fade10`
suite_result-ubuntu-22.04 Expired	2.79 MB	`sha256:f3bb49c2e96b367a929f9d12d5ef165b6968f68016cf79f635994f8343d9bbf0`