td_simplified_ref: Sanity test · goblint/analyzer@a1d437e

Triggered via push July 15, 2025 11:06

arkocal

td_simplified_ref

Status Success

Total duration 19m 22s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-13 Expired	2.94 MB	`sha256:81c820f83a78bc439b0aa7748cf0576170e3d299d5c8c66ecea53966ac0f5a3c`
suite_result-ubuntu-22.04 Expired	2.96 MB	`sha256:6508add0355914f56c6adbf70b11c74b95c7267092fc98b63f323660fbed5189`