Audit usages of `fold_right` · goblint/analyzer@7ab076e

Triggered via pull request February 19, 2025 09:41

synchronize #1688

issue_1536

Status Success

Total duration 22m 34s

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:9b5dd0d09941634d492f0cfc69c527a402c3d52368661ed9cb6f8c769f4c0a8e`
suite_result-ubuntu-22.04 Expired	2.8 MB	`sha256:d9784b49bab016c067177f7067094ea786c1b86606a0738581af44850663648c`