Add memtrace back to make CI happy · goblint/analyzer@35cbd45

Triggered via push May 11, 2026 05:25

fm26-tutorial

Status Success

Total duration 12m 7s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-latest	3 MB	`sha256:0736e57ec6c4d916608d074519e3fb99a7706e210627fc84b4521baee18dbf1a`
suite_result-ubuntu-latest	3.04 MB	`sha256:0056d01c9d3f34ac6c8452ee56f417af5f1494576b2b77a2b3afd81843511507`