Fix IntDomain module description · goblint/analyzer@37bde63

Triggered via push May 7, 2025 18:36

sim642

intdomain_intf

Status Success

Total duration 22m 30s

Artifacts 2

locked.yml

on: push

Matrix: extraction

Matrix: gobview

Matrix: regression

Produced during runtime

Name	Size	Digest
suite_result-macos-13 Expired	2.9 MB	`sha256:fd2f8314a3573d3b9abab59ce9d30ba693dd2a699ad8d5850ec8afdb440e5d59`
suite_result-ubuntu-22.04 Expired	2.88 MB	`sha256:11c26c95d821472f9534d17f31d009deaaa6c65efb621594e23b291d982bc1c5`