Add PLDI'25 artifact description to readthedocs · goblint/analyzer@c24d52b

Re-run triggered January 20, 2026 08:21

#1916

Status Success

Total duration 51m 24s

Artifacts 2

locked.yml

on: pull_request

Matrix: extraction

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-latest	3.01 MB	`sha256:1d776f8227c48de53833267347a89805a2f73a9d28bee48392d1192e1b5d7f60`
suite_result-ubuntu-latest	3.04 MB	`sha256:7281386fdd4352807c7772a5cf9e26d7d54e9cc8e0a2249af6433860bce10a0f`