Audit usages of `fold_right` · goblint/analyzer@3c4f6cc

Triggered via pull request February 18, 2025 16:04

synchronize #1688

issue_1536

Status Success

Total duration 21m 31s

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:e45a66712e3705c83eeee07c1c42817caebdd3c23c579a16ca3d3171cddbdd0d`
suite_result-ubuntu-22.04 Expired	2.8 MB	`sha256:03c57f01df455f15a25fb0f8b08b9f79dd2291363be5c5b80128678c9a9f56af`