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

Triggered via push May 11, 2026 05:25

fm26-tutorial

Status Success

Total duration 4m 28s

Artifacts 1

docs.yml

on: push

Matrix: api-build

Produced during runtime

Name	Size	Digest
github-pages Expired	2.52 MB	`sha256:54426a509b5eda0dcd24413fb9cd099aacb1ef5f50c63c1ff50d0b2243815eae`