Expose conv from SpecLifters · goblint/analyzer@32fc632

Triggered via push April 18, 2025 09:10

sim642

delay-widening-cleanup

Status Success

Total duration 23m 57s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: gobview

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-13 Expired	2.91 MB	`sha256:b4a8647c91a2614485c37f25a4c03671075b9d9c567efbd8f1cd57f04730d8be`
suite_result-ubuntu-22.04 Expired	2.89 MB	`sha256:1f98c73c1f25a02d233ddb9b060fabc6893e3d7b6406a9d684687f08f2e4b985`